From 9c02245422a6fc0cf90d4c5627f09d5fda5be826 Mon Sep 17 00:00:00 2001 From: Roy Nilsson Date: Thu, 21 Dec 2023 11:40:53 +0100 Subject: [PATCH] Remove extra compilation step --- compile.sh | 1 - 1 file changed, 1 deletion(-) diff --git a/compile.sh b/compile.sh index 4852fd8..417c497 100755 --- a/compile.sh +++ b/compile.sh @@ -10,7 +10,6 @@ for f in $files; do if [-f "$f" ]; then echo "Compiling '$f'.." $compiler $options $f - $compiler $options $f # Run twice to make sure everything is OK else echo "'$f' not found!" fi