From e1be8e6e429c76920f35ae197ca071d4c38fa0e0 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Fri, 17 Jan 2014 11:44:02 +0100
Subject: [PATCH] * bench/dtgbasat/README: Typo.

---
 bench/dtgbasat/README | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bench/dtgbasat/README b/bench/dtgbasat/README
index 7e6d03a73..9e52afb39 100644
--- a/bench/dtgbasat/README
+++ b/bench/dtgbasat/README
@@ -48,7 +48,7 @@ To reproduce, follow these instructions:
 
 9) Actually run all experiments
 
-   % make -j4 stat.mk
+   % make -j4 -f stat.mk
 
    This will build a CSV file called "all.log".