Revision 1458

trunk/tests/Makefile (revision 1458)
15 15
	pushd cov_re & $(MAKE) clean & popd
16 16

  
17 17
verify:
18
	$(MAKE) FAST_OPTION=-f -C ..\build\dist\examples --file=Makefile all
18
	pushd ..\build\dist\examples & $(MAKE) FAST_OPTION=-f --file=Makefile all
19 19
	pushd ..\build\dist & ..\..\scripts\get-outputs.bat > "..\..\benchmarks-opt.txt" & popd
20
	$(MAKE) -C ..\build\dist\examples --file=Makefile all
20
	pushd ..\build\dist\examples & $(MAKE) --file=Makefile all
21 21
	pushd ..\build\dist & ..\..\scripts\get-outputs.bat > "..\..\benchmarks-saf.txt" & popd

Also available in: Unified diff