mirror of
https://github.com/ilyakooo0/roboservant.git
synced 2024-08-16 03:20:44 +03:00
11 lines
235 B
Bash
11 lines
235 B
Bash
|
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
|