Perform a compilation to warm up the disk cache

diff --git a/perf.sh b/perf.sh
index 242cb75747507c0e1815da8b1e883c15695db58a..d83cd0d75cd658f7e744a1885dc02ae430abc061 100755 (executable)
--- a/perf.sh
+++ b/perf.sh
@@ -81,6 +81,9 @@ else
 fi
 create_src $n
 
+# Perform a compilation to warm up the disk cache.
+compile 1 $cxx >/dev/null
+
 echo "Without ccache:"
 t0=$(now)
 compile $n $cxx