diff options
author | Andrew Waterman <andrew@sifive.com> | 2022-10-05 09:56:24 -0700 |
---|---|---|
committer | Andrew Waterman <andrew@sifive.com> | 2022-10-05 11:07:29 -0700 |
commit | 054a4aa579b02cb7bb2616bc78591cdb1a1f32b7 (patch) | |
tree | 855d5591cbbf331aff09e501263e7b1c9705866a /ci-tests | |
parent | f5ec721fa966ce92390afc48b13d492f4045c4ae (diff) | |
download | spike-054a4aa579b02cb7bb2616bc78591cdb1a1f32b7.zip spike-054a4aa579b02cb7bb2616bc78591cdb1a1f32b7.tar.gz spike-054a4aa579b02cb7bb2616bc78591cdb1a1f32b7.tar.bz2 |
Engage non-virtual-dtor warning in CI tests
Diffstat (limited to 'ci-tests')
-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 cd3fccc..bf2290b 100755 --- a/ci-tests/test-spike +++ b/ci-tests/test-spike @@ -6,7 +6,7 @@ DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )" mkdir build cd build mkdir install -CFLAGS="-Werror -Wignored-qualifiers -Wunused-function -Wunused-parameter -Wunused-variable" $DIR/../configure --prefix=`pwd`/install +CXXFLAGS="-Wnon-virtual-dtor" CFLAGS="-Werror -Wignored-qualifiers -Wunused-function -Wunused-parameter -Wunused-variable" $DIR/../configure --prefix=`pwd`/install make -j4 make install |