summaryrefslogtreecommitdiff
path: root/mk
diff options
context:
space:
mode:
Diffstat (limited to 'mk')
-rwxr-xr-xmk2
1 files changed, 1 insertions, 1 deletions
diff --git a/mk b/mk
index 8da15f5b..872ce264 100755
--- a/mk
+++ b/mk
@@ -5,7 +5,7 @@
set -u -e
-if [ "./${0##*/}" != "${0}" ] || [ ! -f "mk" ] || [ -L "mk" ]; then
+if [ "$0" != "./mk" ]; then
printf "You must run this in the proper work directory.\n" 1>&2
exit 1
fi