From 91092311edf223a145a62e78f1e7dde0120702fa Mon Sep 17 00:00:00 2001 From: Loup Vaillant Date: Mon, 28 Aug 2023 23:29:54 +0200 Subject: [PATCH] Fix stupid Github CI Stupid Github CI make doesn't take environment variables into account. We have to override them explicitly, hence the ridiculous CC="$CC". --- tests/test.sh | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/tests/test.sh b/tests/test.sh index c9972f2..8129823 100755 --- a/tests/test.sh +++ b/tests/test.sh @@ -58,10 +58,10 @@ CFLAGS="-pedantic -Wall -Wextra -g -O2" make clean; make tis-ci make clean; make test -make clean; make test CFLAGS="$CFLAGS -DBLAKE2_NO_UNROLLING" -make clean; make test CFLAGS="$CFLAGS -fsanitize=address" -make clean; make test CFLAGS="$CFLAGS -fsanitize=memory" -make clean; make test CFLAGS="$CFLAGS -fsanitize=undefined" +make clean; make test CC="$CC" CFLAGS="$CFLAGS -DBLAKE2_NO_UNROLLING" +make clean; make test CC="$CC" CFLAGS="$CFLAGS -fsanitize=address" +make clean; make test CC="$CC" CFLAGS="$CFLAGS -fsanitize=memory" +make clean; make test CC="$CC" CFLAGS="$CFLAGS -fsanitize=undefined" make clean; make test.out CC="gcc -std=c99"; valgrind ./test.out echo -- 2.47.3