From e4da37934004cbfe9923b4206130d44311670b17 Mon Sep 17 00:00:00 2001
From: bbracker <bbracker@hmc.edu>
Date: Sat, 6 Nov 2021 15:25:10 -0700
Subject: [PATCH] genCheckpoint path bugfix

---
 tests/linux-testgen/testvector-generation/genCheckpoint.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/tests/linux-testgen/testvector-generation/genCheckpoint.sh b/tests/linux-testgen/testvector-generation/genCheckpoint.sh
index 97cdf8a0..85102f87 100755
--- a/tests/linux-testgen/testvector-generation/genCheckpoint.sh
+++ b/tests/linux-testgen/testvector-generation/genCheckpoint.sh
@@ -2,8 +2,6 @@
 
 source  genSettings.sh
 tcpPort=1236
-checkOutDir="$outDir/checkpoint$instrs"
-checkIntermedDir="$checkOutDir/intermediate-outputs"
 
 # Parse Commandline Arg
 if [ "$#" -ne 1 ]; then
@@ -16,6 +14,8 @@ then
     echo "Error expected integer number of instructions, got $instrs" >&2
     exit 1
 fi
+checkOutDir="$outDir/checkpoint$instrs"
+checkIntermedDir="$checkOutDir/intermediate-outputs"
 
 read -p "This scripts is going to create a checkpoint at $instrs instrs.
 Is that what you wanted? (y/n) " -n 1 -r