From: Loup Vaillant <loup@loup-vaillant.fr>
Date: Mon, 28 Aug 2023 21:29:54 +0000 (+0200)
Subject: Fix stupid Github CI
X-Git-Url: https://git.codecow.com/?a=commitdiff_plain;h=91092311edf223a145a62e78f1e7dde0120702fa;p=Monocypher.git

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".
---

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