mirror of
https://github.com/ilyakooo0/roboservant.git
synced 2024-07-14 19:10:24 +03:00
11 lines
235 B
Bash
Executable File
11 lines
235 B
Bash
Executable File
lo=$1
|
|
hi=$2
|
|
|
|
for i in $(seq $lo 5 $hi); do
|
|
./genFile.sh $i > main.hs;
|
|
echo "sievedn: $i,";
|
|
/usr/bin/time -f "%e" stack ghc main.hs 2>&1;
|
|
# /usr/bin/time -f "%e" stack ghc -- -fomit-interface-pragmas main.hs 2>&1;
|
|
|
|
done
|