From a1a929ecaf5018f3bb53a2e4483808b98dbce07f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ciro=20Santilli=20=E5=85=AD=E5=9B=9B=E4=BA=8B=E4=BB=B6=20?=
 =?UTF-8?q?=E6=B3=95=E8=BD=AE=E5=8A=9F?= <ciro.santilli@gmail.com>
Date: Sat, 15 Sep 2018 00:09:03 +0100
Subject: [PATCH] run: create missing readfile dir if not present

---
 run | 1 +
 1 file changed, 1 insertion(+)

diff --git a/run b/run
index 8f3ad7b..3da1423 100755
--- a/run
+++ b/run
@@ -96,6 +96,7 @@ def main(args, extra_args=None):
         trace_type = args.trace
 
     if args.gem5:
+        os.makedirs(os.path.dirname(common.gem5_readfile), exist_ok=True)
         with open(common.gem5_readfile, 'w') as readfile:
             readfile.write(args.gem5_readfile)
         memory = '{}B'.format(args.memory)