diff options
-rw-r--r-- | c/src/make/directory.cfg | 5 | ||||
-rw-r--r-- | make/directory.cfg | 5 |
2 files changed, 8 insertions, 2 deletions
diff --git a/c/src/make/directory.cfg b/c/src/make/directory.cfg index fedb721e93..68b68d79e0 100644 --- a/c/src/make/directory.cfg +++ b/c/src/make/directory.cfg @@ -26,7 +26,10 @@ $(RECURSE_TARGETS): for subd in $(SUB_DIRS) xxx; \ do if [ $$subd != xxx ] ; then \ cd $$BASEDIR; \ - test -d $$subd || $(EXIT_CMD) ; \ + if [ ! -d $$subd ] ; then \ + $(ECHO) "*** ERROR -- Directory ($$subd) does not exist!!!"; \ + $(EXIT_CMD) ; \ + fi ; \ $(ECHO); \ $(ECHO) "*** $$BASEDIR/$$subd ($@)" ; \ cmd="cd $$subd; $(MAKE) $(RULE)"; \ diff --git a/make/directory.cfg b/make/directory.cfg index fedb721e93..68b68d79e0 100644 --- a/make/directory.cfg +++ b/make/directory.cfg @@ -26,7 +26,10 @@ $(RECURSE_TARGETS): for subd in $(SUB_DIRS) xxx; \ do if [ $$subd != xxx ] ; then \ cd $$BASEDIR; \ - test -d $$subd || $(EXIT_CMD) ; \ + if [ ! -d $$subd ] ; then \ + $(ECHO) "*** ERROR -- Directory ($$subd) does not exist!!!"; \ + $(EXIT_CMD) ; \ + fi ; \ $(ECHO); \ $(ECHO) "*** $$BASEDIR/$$subd ($@)" ; \ cmd="cd $$subd; $(MAKE) $(RULE)"; \ |