scripts: Fix quoting to prevent unintended word splitting
This commit is contained in:
@@ -8,11 +8,11 @@ set -o pipefail
|
||||
RDIR=$(pwd)
|
||||
scripts_dir="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )"
|
||||
|
||||
cd $scripts_dir/..
|
||||
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
|
||||
./build-setup.sh "$@" --library
|
||||
cd "$RDIR"
|
||||
|
||||
Reference in New Issue
Block a user