Fix init script and execute flags
This commit is contained in:
6
init-workspace.sh
Normal file → Executable file
6
init-workspace.sh
Normal file → Executable file
@@ -15,7 +15,11 @@ elif [ -n "$ZSH_VERSION" ]; then
|
|||||||
command -v xargs > /dev/null && command -v readlink > /dev/null && export TGC_HAMMER_HOME=`dirname ${(%):-%x} | xargs readlink -f`
|
command -v xargs > /dev/null && command -v readlink > /dev/null && export TGC_HAMMER_HOME=`dirname ${(%):-%x} | xargs readlink -f`
|
||||||
else
|
else
|
||||||
echo "ERROR: unknown shell"
|
echo "ERROR: unknown shell"
|
||||||
elif [ -f "source.sh" ]; then
|
exit
|
||||||
|
fi
|
||||||
|
|
||||||
|
|
||||||
|
if [ -f "source.sh" ]; then
|
||||||
echo "Directory already seems to be workspace."
|
echo "Directory already seems to be workspace."
|
||||||
elif [ -f "init-workspace.sh" ]; then
|
elif [ -f "init-workspace.sh" ]; then
|
||||||
echo "Cannot create workspace in TGC-Hammer directly, use different directory."
|
echo "Cannot create workspace in TGC-Hammer directly, use different directory."
|
||||||
|
0
scripts/build_hammer.sh
Normal file → Executable file
0
scripts/build_hammer.sh
Normal file → Executable file
Reference in New Issue
Block a user