From 5e4d2103cca07a6a7eeb9f294fe8a0df7d3be26b Mon Sep 17 00:00:00 2001 From: David Biancolin Date: Sun, 21 Jun 2020 23:26:25 +0000 Subject: [PATCH] [setup] Don't re-init firesim in firesim-setup.sh --- scripts/firesim-setup.sh | 1 - 1 file changed, 1 deletion(-) diff --git a/scripts/firesim-setup.sh b/scripts/firesim-setup.sh index bb14f39e..a110cb61 100755 --- a/scripts/firesim-setup.sh +++ b/scripts/firesim-setup.sh @@ -12,7 +12,6 @@ cd "${scripts_dir}/.." # Reenable the FireSim submodule git config --unset submodule.sims/firesim.update || true -git submodule update --init sims/firesim cd sims/firesim ./build-setup.sh "$@" --library cd "$RDIR"