From 43995662bebceeb71a05a2c44d215003d3d26365 Mon Sep 17 00:00:00 2001 From: Jef Roosens Date: Sat, 28 Jan 2023 13:00:37 +0100 Subject: [PATCH] chore: use libvieter dev branch instead --- Makefile | 2 +- src/libvieter | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index 4b75910..1521676 100644 --- a/Makefile +++ b/Makefile @@ -11,7 +11,7 @@ all: vieter # =====COMPILATION===== .PHONY: libvieter libvieter: - CFLAGS='-O3' make -C '$(SRC_DIR)/libvieter' + make -C '$(SRC_DIR)/libvieter' CFLAGS='-O3' # Regular binary vieter: $(SOURCES) libvieter diff --git a/src/libvieter b/src/libvieter index 11709cc..379a05a 160000 --- a/src/libvieter +++ b/src/libvieter @@ -1 +1 @@ -Subproject commit 11709cc611c02a4e9140409a0e81d639522c06f1 +Subproject commit 379a05a7b6b604c107360e0a679fb3ea5400e02c