From 37a7566aed7a09319766b356ff3e8058cdf63b80 Mon Sep 17 00:00:00 2001 From: KoenDR06 Date: Mon, 1 Dec 2025 13:47:40 +0100 Subject: [PATCH] add ghc options --- new.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/new.sh b/new.sh index c3e22e0..afcda5d 100755 --- a/new.sh +++ b/new.sh @@ -4,4 +4,4 @@ day=$(echo $1 | sed 's/..//') year=$(printf %02d $2) cp -n template.hs src/Day${day}${year}.hs -alias run="ghc src/Day${day}${year}.hs -o out && cat inputs/$1-$2 | ./out && hyperfine --input inputs/$1-$2 -N --warmup 10 --runs 10 \"./out\" && rm out" +alias run="ghc -no-keep-hi-files -no-keep-o-files src/Day${day}${year}.hs -o out && cat inputs/$1-$2 | ./out && hyperfine --input inputs/$1-$2 -N --warmup 10 --runs 10 \"./out\" && rm out"