diff options
Diffstat (limited to 'src/elementaryFunctions/Makefile')
| -rw-r--r-- | src/elementaryFunctions/Makefile | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/elementaryFunctions/Makefile b/src/elementaryFunctions/Makefile index 73e2c6b6..6d079772 100644 --- a/src/elementaryFunctions/Makefile +++ b/src/elementaryFunctions/Makefile @@ -5,7 +5,7 @@ ## Made by Bruno JOFRET <bruno.jofret@inria.fr> ## ## Started on Tue Dec 5 09:19:53 2006 jofret -## Last update Wed Jan 31 09:22:09 2007 jofret +## Last update Wed Feb 14 14:03:59 2007 jofret ## ## Copyright INRIA 2006 ## @@ -26,13 +26,17 @@ all: recure recure: @for i in $(DIRS); \ do cd $$i && make; \ + result=$$? ; \ cd .. ;\ + if test $$result -ne 0; then exit 1; fi; \ done clean: @for i in $(DIRS); \ do cd $$i && make $@; \ + result=$$? ; \ cd .. ;\ + if test $$result -ne 0; then exit 1; fi; \ done distclean: |