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)"