Browse Source

Engage non-virtual-dtor warning in CI tests

pull/1089/head
Andrew Waterman 4 years ago
parent
commit
054a4aa579
  1. 2
      ci-tests/test-spike

2
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

Loading…
Cancel
Save