From a760cb1196161e913a94684e03cfeaebf71f0cdd 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 01:37:22 +0100
Subject: [PATCH] build-gme5: don't try to create worktrees if the submodule
 was not checked out

Leads to weird states.
---
 build-gem5 | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/build-gem5 b/build-gem5
index 5d06e33..8d7c38c 100755
--- a/build-gem5
+++ b/build-gem5
@@ -28,6 +28,8 @@ else:
     os.makedirs(binaries_dir, exist_ok=True)
     os.makedirs(disks_dir, exist_ok=True)
     if  not os.path.exists(os.path.join(common.gem5_src_dir, '.git')):
+        if common.gem5_src_dir == common.gem5_default_src_dir:
+            raise Exception('gem5 submodule not checked out')
         subprocess.check_call([
             'git',
             '-C', common.gem5_default_src_dir,