From 6f9176c3e16b7d9d5f67705ef3fc9ef2c2d210e7 Mon Sep 17 00:00:00 2001
From: Iustin Pop <iustin@k1024.org>
Date: Sat, 16 May 2015 15:34:06 +0200
Subject: [PATCH] Allow repetitions to be overridden

---
 Makefile | 2 +-
 run.sh   | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index 90b6797..977336b 100644
--- a/Makefile
+++ b/Makefile
@@ -37,7 +37,7 @@ PYTHON_INVOCS = $(foreach py,$(PYTHON_VERSIONS), \
 
 EXTRA_RUN = /bin/true
 
-REPS = 100
+REPS ?= 100
 
 PERF ?= perf
 
diff --git a/run.sh b/run.sh
index a4bc9de..03cca65 100755
--- a/run.sh
+++ b/run.sh
@@ -9,5 +9,5 @@ make
 # preseed filesystem cache
 make log REPS=2
 # now do the real run
-$CHRT $TASKSET make log REPS=500
+$CHRT $TASKSET make log
 make report
-- 
2.39.5