test.sh if then else

dafny-lang · Feb 16, 2024 · 8f9ab79 · 8f9ab79
1 parent e07de26
commit 8f9ab79
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scripts/test.sh b/scripts/test.sh
@@ -38,6 +38,6 @@ echo "Executing compiled docs/dafny/ExamplesRandom.dfy:"
 if [ "$TARGET_LANG" = "java" ]
 then
   java -jar docs/dafny/ExamplesRandom.jar
-elif [ "$TARGET_LANG" = "py" ]
+else
   python3 docs/dafny/ExamplesRandom-py/__main__.py
 fi