diff options
| author | simonm <unknown> | 1998-03-17 14:22:54 +0000 |
|---|---|---|
| committer | simonm <unknown> | 1998-03-17 14:22:54 +0000 |
| commit | c6988db14ba45f6b156f0b15c2b0d69dcad09f44 (patch) | |
| tree | d1534af3ba7e1c03ddffb6f43ab6e12c6863b305 | |
| parent | 85cbb45d47c195bb119df175843546450a8c0c81 (diff) | |
| download | haskell-c6988db14ba45f6b156f0b15c2b0d69dcad09f44.tar.gz | |
[project @ 1998-03-17 14:22:54 by simonm]
fix 'make -k' again :-)
| -rw-r--r-- | mk/target.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mk/target.mk b/mk/target.mk index 3d73af82c7..d4303c7113 100644 --- a/mk/target.mk +++ b/mk/target.mk @@ -1036,7 +1036,7 @@ all docs runtests boot TAGS clean veryclean maintainer-clean install info :: echo " in $(shell pwd)/$$i"; \ echo "------------------------------------------------------------------------"; \ $(MAKE) --no-print-directory -C $$i $(MFLAGS) $@; \ - if [ $$? -eq 0 ] ; then true; else exit $$x_on_err; fi; \ + if [ $$? -eq 0 -o $$x_on_err -eq 0 ] ; then true; else exit 1; fi; \ done @echo "------------------------------------------------------------------------" @echo "===fptools== Finished making \`$@' in $(SUBDIRS) ..." |