projects
/
ghc-hetmet.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (from parent 1:
85cbb45
)
[project @ 1998-03-17 14:22:54 by simonm]
author
simonm
<unknown>
Tue, 17 Mar 1998 14:22:54 +0000
(14:22 +0000)
committer
simonm
<unknown>
Tue, 17 Mar 1998 14:22:54 +0000
(14:22 +0000)
fix 'make -k' again :-)
mk/target.mk
patch
|
blob
|
history
diff --git
a/mk/target.mk
b/mk/target.mk
index
3d73af8
..
d4303c7
100644
(file)
--- 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) $@; \
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) ..."
done
@echo "------------------------------------------------------------------------"
@echo "===fptools== Finished making \`$@' in $(SUBDIRS) ..."