From 2281ca24b386e06c5c87f42d5dfd5c36af36021d Mon Sep 17 00:00:00 2001
From: Iustin Pop <iusty@k1024.org>
Date: Sun, 12 Feb 2012 13:06:21 +0100
Subject: [PATCH] Add a run file

---
 run.sh | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100755 run.sh

diff --git a/run.sh b/run.sh
new file mode 100755
index 0000000..09ea61e
--- /dev/null
+++ b/run.sh
@@ -0,0 +1,9 @@
+#!/bin/sh
+
+# rebuild everything
+make clean
+make
+# preseed filesystem cache
+make log REPS=2
+# now do the real run
+chrt -r 5 taskset -c 0 make log REPS=500
-- 
2.39.5