Update setup scripts

2019-05-29 15:31:33 +00:00
parent baf7a6c30d
commit 401a2b9da4
2 changed files with 5 additions and 1 deletions
--- a/scripts/firesim-setup.sh
+++ b/scripts/firesim-setup.sh
@@ -7,8 +7,10 @@ set -o pipefail

 RDIR=$(pwd)
 scripts_dir="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )"
-sims_dir=$(scripts_dir)/../sims/
+sims_dir=$scripts_dir/../sims/

+# Reenable the FireSim submodule
+git config --unset submodule.sims/firesim.update || true
 cd $sims_dir
 git submodule update --init firesim
 cd firesim