include directory name in usage message

FlexibleSUSY · Nov 27, 2014 · 0a48778 · 0a48778
1 parent 0e7bc0a
commit 0a48778
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/config/install_stripped.sh b/config/install_stripped.sh
@@ -4,7 +4,7 @@
 # install arguments can be given in [$3].
 
 if test $# -lt 2; then
-    echo "Usage: ./install_stripped.sh source destination [install args]"
+    echo "Usage: ./`basename $0` source destination [install args]"
     exit 1
 fi