silly typo

project-everest · Jan 9, 2025 · 22ba1fa · 22ba1fa
1 parent 988fefc
commit 22ba1fa
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/everest b/everest
@@ -1056,7 +1056,7 @@ test_FStar () {
   if [ -d FStar/stage0 ]; then
     $MAKE -C FStar $make_opts test
   else
-    $MAKE -C FStar $make_opts test ci-uregressions
+    $MAKE -C FStar $make_opts ci-uregressions
   fi
 }