From 563d2e71cb48500efcfd3648fdebb8bbb4b8dfb8 Mon Sep 17 00:00:00 2001 From: Stefan Saraev Date: Fri, 12 Jul 2013 15:37:01 +0300 Subject: [PATCH] scripts/install: exit if $INSTALL not set --- scripts/install | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/scripts/install b/scripts/install index 19c93fdccc..c44351553a 100755 --- a/scripts/install +++ b/scripts/install @@ -30,6 +30,10 @@ if [ -z "$1" ]; then exit 1 fi +if [ -z "$INSTALL" ] ; then + echo "error: '\$INSTALL' not set! this script is not intended to be run manually" + exit 1 +fi mkdir -p $STAMPS_INSTALL/$1 if [ -f $STAMP -a $PKG_DIR/install -nt $STAMP ]; then