Fix source warning

pull/853/head
Jeffrey Walton 2019-05-21 05:44:21 -04:00
parent 1973674732
commit ddb9249444
No known key found for this signature in database
GPG Key ID: B36AB348921B1838
7 changed files with 7 additions and 7 deletions

View File

@ -19,7 +19,7 @@
# set -eu
# Sanity check
if [ "$0" != "${BASH_SOURCE[0]}" ]; then
if [ "$0" = "${BASH_SOURCE[0]}" ]; then
echo "Please source this setenv script"
fi

View File

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

View File

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

View File

@ -14,7 +14,7 @@
# set -eu
# Sanity check
if [ "$0" != "${BASH_SOURCE[0]}" ]; then
if [ "$0" = "${BASH_SOURCE[0]}" ]; then
echo "Please source this setenv script"
fi

View File

@ -19,7 +19,7 @@
# set -eu
# Sanity check
if [ "$0" != "${BASH_SOURCE[0]}" ]; then
if [ "$0" = "${BASH_SOURCE[0]}" ]; then
echo "Please source this setenv script"
fi

View File

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

View File

@ -14,7 +14,7 @@
# set -eu
# Sanity check
if [ "$0" != "${BASH_SOURCE[0]}" ]; then
if [ "$0" = "${BASH_SOURCE[0]}" ]; then
echo "Please source this setenv script"
fi