diff options
Diffstat (limited to 'Makefile.in')
-rw-r--r-- | Makefile.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile.in b/Makefile.in index e6a2cbef2..790acaaf7 100644 --- a/Makefile.in +++ b/Makefile.in @@ -243,14 +243,14 @@ check-%-examples : elif test -z "$($(strip $*_examples))"; then \ echo empty $* $(ACTION); \ else \ - $(MAKE) -k MAKEFLAGS="-j1" $($*_examples:=.actionexample) LANGUAGE=$* ACTION=$(ACTION); \ + $(MAKE) $(FLAGS) $($*_examples:=.actionexample) LANGUAGE=$* ACTION=$(ACTION); \ fi # individual example %.actionexample: @cd Examples && $(MAKE) Makefile @echo $(ACTION)ing Examples/$(LANGUAGE)/$* - @(cd Examples/$(LANGUAGE)/$* && $(MAKE) MAKEFLAGS="-j1" $(chk-set-env) $(ACTION) RUNPIPE=$(RUNPIPE)) + @(cd Examples/$(LANGUAGE)/$* && $(MAKE) $(FLAGS) $(chk-set-env) $(ACTION) RUNPIPE=$(RUNPIPE)) # gcj individual example java.actionexample: |