Fix generation of env.sh for ZSH (#435)

This commit is contained in:
David Biancolin
2020-02-14 23:41:14 -08:00
committed by GitHub
parent 7bcedfa7ad
commit 9d45a2711e
3 changed files with 3 additions and 3 deletions

View File

@@ -141,5 +141,5 @@ cd "$RDIR"
} > env-$TOOLCHAIN.sh
# create general env.sh
echo "source \$( realpath \$(dirname "\${BASH_SOURCE[0]}") )/env-$TOOLCHAIN.sh" >> env.sh
echo "source \$( realpath \$(dirname "\${BASH_SOURCE[0]:-\${\(%\):-%x}}") )/env-$TOOLCHAIN.sh" >> env.sh
echo "Toolchain Build Complete!"

View File

@@ -6,7 +6,7 @@ set -e
set -o pipefail
RDIR=$(pwd)
scripts_dir="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )"
scripts_dir="$( cd "$( dirname "${BASH_SOURCE[0]:-${(%):-%x}}" )" >/dev/null 2>&1 && pwd )"
cd "${scripts_dir}/.."

View File

@@ -60,4 +60,4 @@ git submodule update --init software/firemarshal
if [ ! -f $RDIR/software/firemarshal/marshal-config.yaml ]; then
echo "firesim-dir: '../../sims/firesim/'" > $RDIR/software/firemarshal/marshal-config.yaml
fi
echo "PATH=\$( realpath \$(dirname "\${BASH_SOURCE[0]}") )/software/firemarshal:\$PATH" >> $RDIR/env.sh
echo "PATH=\$( realpath \$(dirname "\${BASH_SOURCE[0]:-\${\(%\):-%x}}") )/software/firemarshal:\$PATH" >> $RDIR/env.sh