Check for the case where 'make dep' was not run.
authorDavid Schleef <ds@schleef.org>
Sat, 15 Dec 2001 16:39:26 +0000 (16:39 +0000)
committerDavid Schleef <ds@schleef.org>
Sat, 15 Dec 2001 16:39:26 +0000 (16:39 +0000)
scripts/dep.linux

index 2b750645623700e3e0347c2c3c7382b0620cbcaf..db6e16d813f0abaaadca1e3dbc63f547090c3356 100755 (executable)
@@ -13,8 +13,18 @@ fi
 : ${LINUXDIR:=$default}
 
 if [ ! -f "$LINUXDIR/.config" ];then
+       echo
        echo Kernel source tree at $LINUXDIR is not configured
        echo Fix before continuing
+       echo
+       exit 1
+fi
+
+if [ ! -f "$LINUXDIR/.hdepend" ];then
+       echo
+       echo You need to run \'make dep\' on the kernel source before
+       echo continuing.
+       echo
        exit 1
 fi