Bumped v release; files are now served properly

This commit is contained in:
Jef Roosens 2022-01-31 21:14:43 +01:00
parent 3c0b7156c1
commit 8a0beffbe2
Signed by untrusted user: Jef Roosens
GPG key ID: 955C0660072F691F
5 changed files with 11 additions and 10 deletions

View file

@ -2,7 +2,7 @@
SRC_DIR := src
SOURCES != find '$(SRC_DIR)' -iname '*.v'
V_RELEASE := weekly.2022.04
V_RELEASE := weekly.2022.05
V_PATH ?= v-$(V_RELEASE)/v
V := $(V_PATH) -showcc
@ -70,4 +70,4 @@ v-$(V_RELEASE)/v:
make -C 'v-$(V_RELEASE)'
clean:
rm -rf '$(LARCHIVE_DIR)' 'data' 'vieter' 'dvieter' 'pvieter' 'vieter.c' 'v-$(V_RELEASE)'
rm -rf 'data' 'vieter' 'dvieter' 'pvieter' 'vieter.c' 'v-$(V_RELEASE)'