Some small changes [CI SKIP]

This commit is contained in:
Jef Roosens 2022-02-04 17:48:17 +01:00
parent f7171b822d
commit a9f379c810
Signed by: Jef Roosens
GPG key ID: 955C0660072F691F
3 changed files with 6 additions and 4 deletions

View file

@ -43,6 +43,10 @@ gdb: vieter
run: vieter
$(ENV) ./vieter
.PHONY: run-debug
run-debug: debug
$(ENV) ./dvieter
.PHONY: run-prod
run-prod: prod
$(ENV) ./pvieter