From a5c32898a0d1b4da70b3f9ce5310c21237e497ff Mon Sep 17 00:00:00 2001
From: bbracker <bbracker@hmc.edu>
Date: Mon, 28 Mar 2022 13:40:50 -0700
Subject: [PATCH] checkpointSweep is bash-specific, so add shebang to make it
 so

---
 linux/testvector-generation/checkpointSweep.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/linux/testvector-generation/checkpointSweep.sh b/linux/testvector-generation/checkpointSweep.sh
index c1543677..075ca253 100755
--- 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