chore: use libvieter dev branch instead

metrics-fix
Jef Roosens 2023-01-28 13:00:37 +01:00
parent ba89110eab
commit 6ca53ce534
2 changed files with 2 additions and 2 deletions

View File

@ -11,7 +11,7 @@ all: vieter
# =====COMPILATION===== # =====COMPILATION=====
.PHONY: libvieter .PHONY: libvieter
libvieter: libvieter:
CFLAGS='-O3' make -C '$(SRC_DIR)/libvieter' make -C '$(SRC_DIR)/libvieter' CFLAGS='-O3'
# Regular binary # Regular binary
vieter: $(SOURCES) libvieter vieter: $(SOURCES) libvieter

@ -1 +1 @@
Subproject commit 11709cc611c02a4e9140409a0e81d639522c06f1 Subproject commit 379a05a7b6b604c107360e0a679fb3ea5400e02c