From 054a4aa579b02cb7bb2616bc78591cdb1a1f32b7 Mon Sep 17 00:00:00 2001
From: Andrew Waterman <andrew@sifive.com>
Date: Wed, 5 Oct 2022 09:56:24 -0700
Subject: Engage non-virtual-dtor warning in CI tests

---
 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 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
 
-- 
cgit v1.1