try to make github actions happy again

2025-08-10 11:58:30 +01:00 · 2023-06-18 19:15:23 +02:00
parent 55c6f914a7
commit 5c09c391af
1 changed files with 4 additions and 4 deletions
--- a/generator/generator.sh
+++ b/generator/generator.sh
@@ -66,10 +66,10 @@ done

 set -- "${POSITIONAL_ARGS[@]}" # restore positional parameters

-if [[ "$OSTYPE" == "cygwin" || "$OSTYPE" == "msys" || "$OSTYPE" == "win32" ]];
-then
-  suffix='.exe'
-fi
+# if [[ "$OSTYPE" == "cygwin" || "$OSTYPE" == "msys" || "$OSTYPE" == "win32" ]];
+# then
+#   suffix='.exe'
+# fi

 echo "CFLAGS: " $CFLAGS
 echo "TARGETS: " $TARGETS