diff options
Diffstat (limited to 'src/Makefile')
| -rw-r--r-- | src/Makefile | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/Makefile b/src/Makefile index 0c16eb4c..8ca80967 100644 --- a/src/Makefile +++ b/src/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 Thu Feb 8 11:42:50 2007 jofret +## Last update Wed Feb 14 14:02:27 2007 jofret ## ## Copyright INRIA 2006 ## @@ -20,13 +20,17 @@ all: recure stdc99: @for i in $(DIRS); \ do cd $$i && make STANDARD=-std=c99; \ + result=$$? ; \ cd .. ;\ + if test $$result -ne 0; then exit 1; fi; \ done recure: @for i in $(DIRS); \ do cd $$i && make; \ + result=$$? ; \ cd .. ;\ + if test $$result -ne 0; then exit 1; fi; \ done clean: |