From ca6bb7c2d2e82bc922b4ed3850fc19688ef52ef1 Mon Sep 17 00:00:00 2001
From: bbracker <bbracker@hmc.edu>
Date: Sun, 6 Mar 2022 14:51:25 -0800
Subject: [PATCH] needed to initialize checkpoint directory

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

diff --git a/linux/testvector-generation/genCheckpoint.sh b/linux/testvector-generation/genCheckpoint.sh
index c845bc33c..792925b7e 100755
--- a/linux/testvector-generation/genCheckpoint.sh
+++ b/linux/testvector-generation/genCheckpoint.sh
@@ -44,6 +44,8 @@ then
         exit 1
     fi
 
+    mkdir -p $checkPtDir
+
     # Identify instruction in trace
     instr=$(sed "${instrs}q;d" "$traceFile")
     echo "Found ${instrs}th instr: ${instr}"