From 7cf82d72f10352ae05755159996e5ce52e9aed77 Mon Sep 17 00:00:00 2001 From: Andrew Waterman Date: Thu, 22 Sep 2022 14:30:30 -0700 Subject: Run CI with -Werror --- ci-tests/test-spike | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'ci-tests') diff --git a/ci-tests/test-spike b/ci-tests/test-spike index 3d5ed6d..94ae321 100755 --- a/ci-tests/test-spike +++ b/ci-tests/test-spike @@ -6,6 +6,6 @@ DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )" mkdir build cd build mkdir install -$DIR/../configure --prefix=`pwd`/install +CFLAGS="-Werror" $DIR/../configure --prefix=`pwd`/install make -j4 make install -- cgit v1.1