Revision 1332 trunk/src/GNUmakefile

GNUmakefile (revision 1332)
421 421

  
422 422
verify:
423 423
ifeq ($(TERMINAL),dos)
424
	$(MAKE) SHELL=cmd FAST_OPTION=-f -C $(DISK)\examples --file=Makefile all
424
	$(MAKE) FAST_OPTION=-f -C $(DISK)\examples --file=Makefile all
425 425
	pushd ..\build\dist & ..\..\scripts\get-outputs.bat > "..\..\benchmarks-opt.txt" & popd
426
	$(MAKE) SHELL=cmd -C $(DISK)\examples --file=Makefile all
426
	$(MAKE) -C $(DISK)\examples --file=Makefile all
427 427
	pushd ..\build\dist & ..\..\scripts\get-outputs.bat > "..\..\benchmarks-saf.txt" & popd
428 428
else
429 429
	$(MAKE) FAST_OPTION=-f -C $(DISK)/examples all

Also available in: Unified diff