Merge branch 'dev' into multi-arch-repos

Jef Roosens 2022-02-13 15:00:45 +01:00
commit 8455f4c977
Signed by: Jef Roosens
GPG Key ID: 955C0660072F691F
1 changed files with 1 additions and 1 deletions

View File

@ -2,7 +2,7 @@
SRC_DIR := src
SOURCES != find '$(SRC_DIR)' -iname '*.v'
V_RELEASE := weekly.2022.05
V_RELEASE := weekly.2022.06
V_PATH ?= v-$(V_RELEASE)/v
V := $(V_PATH) -showcc -gc boehm
ENV := API_KEY=test DOWNLOAD_DIR=data/downloads REPO_DIR=data/repos PKG_DIR=data/pkgs LOG_LEVEL=DEBUG