checkpointSweep is bash-specific, so add shebang to make it so

2022-03-28 13:40:50 -07:00 · 2022-03-28 13:40:50 -07:00 · a5c32898a0
commit a5c32898a0
parent 501dc7cd68
1 changed files with 2 additions and 1 deletions
--- a/linux/testvector-generation/checkpointSweep.sh
+++ b/linux/testvector-generation/checkpointSweep.sh
@ -1,4 +1,5 @@
-for index in {450..500}
+#!/bin/bash
+for index in {450..500};
 do 
    instrs=$(($index*1000000))
    echo "y" | nice -n 5 ./genCheckpoint.sh $instrs