run-all: fix usage message.

diff --git a/Experimentations/run-all b/Experimentations/run-all
index 60bfa07fffeeba020b5c01c1cab4ff4b29eae2f0..350f05f9d712af83d6a344999d4babcaee7954f3 100755 (executable)
--- a/Experimentations/run-all
+++ b/Experimentations/run-all
@@ -5,7 +5,7 @@ set -e
 
 usage() {
     cat >&2 <<EOF
-Usage: $0 [-c] <parameters file>
+Usage: $0 [OPTION] <parameters file>
 Options:
     -h  print this help
     -n  dry-run mode (for debugging)