From 5c09c391af845f060558097c3969cf45c7eb8b2f Mon Sep 17 00:00:00 2001 From: sonoro1234 Date: Sun, 18 Jun 2023 19:15:23 +0200 Subject: [PATCH] try to make github actions happy again --- generator/generator.sh | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/generator/generator.sh b/generator/generator.sh index bafb063..a46e489 100755 --- 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