From 1c1319079b1b4b9352f5b8bf009517e2b7338844 Mon Sep 17 00:00:00 2001 From: Wilson Snyder Date: Sat, 7 Mar 2020 22:02:03 -0500 Subject: [PATCH] Tests: Add driver --hashset for Travis. --- ci/test.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/ci/test.sh b/ci/test.sh index c39769723..361a198d7 100755 --- a/ci/test.sh +++ b/ci/test.sh @@ -20,10 +20,10 @@ case $1 in make -C test_regress SCENARIOS=--vltmt ;; vltmt0) - make -C test_regress SCENARIOS=--vltmt HASHSET=--hashset=0/2 + make -C test_regress SCENARIOS=--vltmt DRIVER_HASHSET=--hashset=0/2 ;; vltmt1) - make -C test_regress SCENARIOS=--vltmt HASHSET=--hashset=1/2 + make -C test_regress SCENARIOS=--vltmt DRIVER_HASHSET=--hashset=1/2 ;; *) echo "Usage: test.sh (dist|vlt|vltmt)"