Revision 1457 trunk/tests/Makefile

Makefile (revision 1457)
13 13
	pushd geolocation & $(MAKE) clean & popd
14 14
	pushd expm & $(MAKE) clean & popd
15 15
	pushd cov_re & $(MAKE) clean & popd
16

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

Also available in: Unified diff