diff --git a/src/Makefile.am b/src/Makefile.am index 04f097b6f9a67082464cb8b0b3b5a0df182b2f22..f353a8ae989ca30ef1b424227f200d13461083c4 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -10,6 +10,10 @@ bin_PROGRAMS = \ run-one-body-sample: one-body-sample libtool --mode execute ./one-body-sample +.PHONY: run-one-body-sample-time +run-one-body-sample-time: one-body-sample + libtool --mode execute time ./one-body-sample >/dev/null + .PHONY: run-one-body-sample-valgrind run-one-body-sample-valgrind: one-body-sample libtool --mode execute valgrind ./one-body-sample