Revision 1459

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

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

Also available in: Unified diff