fix hideous bash bug

This commit is contained in:
David Gonzalez Martin 2024-07-28 14:00:07 +02:00
parent eff0e628c9
commit e59b38343b

View File

@ -26,7 +26,7 @@ then
linux*) linking_modes=("0" "1") ;;
*) echo "unknown: $OSTYPE"; exit 1 ;;
esac
execution_engines=("c", "i")
execution_engines=("c" "i")
else
optimization_modes=("-O0")
case "$OSTYPE" in