Commit 2ab2ccf0e393eab81f33fcbd2ca0ecea6fb8086c

Thomas de Grivel 2023-08-19T15:42:14

try to fix asan build

1
2
3
4
5
6
7
8
9
10
11
12
13
diff --git a/test/configure b/test/configure
index bab8834..94d2251 100755
--- a/test/configure
+++ b/test/configure
@@ -62,7 +62,7 @@ config_lib dl -ldl
 # Asan config
 CFLAGS_ASAN="$CFLAGS -fsanitize=address -O1 -fno-omit-frame-pointer -g"
 LDFLAGS_ASAN="$LDFLAGS"
-LIBC3_ASAN=../libc3/libc3_asan.la
+LIBC3_ASAN=../libc3/libc3_asan.so
 LIBS_ASAN="$LIBC3_ASAN $LIBS"
 
 # Coverage config