diff options
author | Andrew Waterman <andrew@sifive.com> | 2022-09-22 14:30:30 -0700 |
---|---|---|
committer | Andrew Waterman <andrew@sifive.com> | 2022-09-22 14:30:30 -0700 |
commit | 7cf82d72f10352ae05755159996e5ce52e9aed77 (patch) | |
tree | eb572078a334548762ac32ac6caa57139bda7910 /ci-tests/test-spike | |
parent | c2a47571be85d77e9a06ba9675e020bda77c445b (diff) | |
download | spike-7cf82d72f10352ae05755159996e5ce52e9aed77.zip spike-7cf82d72f10352ae05755159996e5ce52e9aed77.tar.gz spike-7cf82d72f10352ae05755159996e5ce52e9aed77.tar.bz2 |
Run CI with -Werror
Diffstat (limited to 'ci-tests/test-spike')
-rwxr-xr-x | ci-tests/test-spike | 2 |
1 files changed, 1 insertions, 1 deletions
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 |