Exit setenv script if not sourced

pull/853/head
Jeffrey Walton 2019-06-01 07:43:32 -04:00
parent 1a0d7c516d
commit f00b0427aa
No known key found for this signature in database
GPG Key ID: B36AB348921B1838
7 changed files with 7 additions and 0 deletions

View File

@ -21,6 +21,7 @@
# Sanity check
if [ "$0" = "${BASH_SOURCE[0]}" ]; then
echo "Please source this setenv script"
exit 0
fi
unset IS_CROSS_COMPILE

View File

@ -23,6 +23,7 @@
# Sanity check
if [ "$0" = "${BASH_SOURCE[0]}" ]; then
echo "Please source this setenv script"
exit 0
fi
unset IS_CROSS_COMPILE

View File

@ -18,6 +18,7 @@
# Sanity check
if [ "$0" = "${BASH_SOURCE[0]}" ]; then
echo "Please source this setenv script"
exit 0
fi
# Unset old options

View File

@ -16,6 +16,7 @@
# Sanity check
if [ "$0" = "${BASH_SOURCE[0]}" ]; then
echo "Please source this setenv script"
exit 0
fi
#########################################

View File

@ -21,6 +21,7 @@
# Sanity check
if [ "$0" = "${BASH_SOURCE[0]}" ]; then
echo "Please source this setenv script"
exit 0
fi
unset IS_CROSS_COMPILE

View File

@ -18,6 +18,7 @@
# Sanity check
if [ "$0" = "${BASH_SOURCE[0]}" ]; then
echo "Please source this setenv script"
exit 0
fi
# Unset old options

View File

@ -16,6 +16,7 @@
# Sanity check
if [ "$0" = "${BASH_SOURCE[0]}" ]; then
echo "Please source this setenv script"
exit 0
fi
#########################################