From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 27 Nov 2007 17:14:52 +0000 (+0000)
Subject: Options declared but not parsed.
X-Git-Tag: make_still_working~5756
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=a4280cc64c755b16b4bd73198ce6b73df7e44985;p=helm.git

Options declared but not parsed.
---

diff --git a/helm/software/matita/bench_disamberrors b/helm/software/matita/bench_disamberrors
index ae1b592d0..2ff61fe36 100755
--- a/helm/software/matita/bench_disamberrors
+++ b/helm/software/matita/bench_disamberrors
@@ -9,6 +9,7 @@ while true ; do
   case "$1" in
     -d) libdir="$2"; shift 2 ;;
     -c) matitac="$2"; shift 2 ;;
+    -m) devel="$2"; shift 2 ;;
     --) shift; break ;;
      *) echo "Usage: errors_bench [-c MATITAC_PATH] [-d LIBRARY_DIR] [-m MATITAMAKE_DEVEL]"; exit 1 ;;
   esac