From ede6d9a66bc1d313d94b32a00b7620b5eca281b3 Mon Sep 17 00:00:00 2001
From: Elias Pipping <elias.pipping@fu-berlin.de>
Date: Tue, 29 Nov 2011 15:59:36 +0100
Subject: [PATCH] Add a 'time' target

---
 src/Makefile.am | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/Makefile.am b/src/Makefile.am
index 04f097b6..f353a8ae 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
-- 
GitLab