Failed attempt at writing PKGBUILD [CI SKIP]

This commit is contained in:
Jef Roosens 2022-02-22 20:46:28 +01:00
parent 13e04cd615
commit d5c1366d65
Signed by untrusted user: Jef Roosens
GPG key ID: B580B976584B5F30
3 changed files with 50 additions and 5 deletions

View file

@ -46,7 +46,7 @@ c:
.PHONY: cli
cli: dvieterctl
dvieterctl: cli.v
$(V_PATH) -showcc -o dvieterctl cli.v
$(V_PATH) -showcc -g -o dvieterctl cli.v
.PHONY: cli-prod
cli-prod: vieterctl
@ -97,4 +97,4 @@ v/v:
make -C v
clean:
rm -rf 'data' 'vieter' 'dvieter' 'pvieter' 'vieter.c'
rm -rf 'data' 'vieter' 'dvieter' 'pvieter' 'vieter.c' 'dvieterctl' 'vieterctl'