From a4280cc64c755b16b4bd73198ce6b73df7e44985 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 27 Nov 2007 17:14:52 +0000
Subject: [PATCH] Options declared but not parsed.

---
 helm/software/matita/bench_disamberrors | 1 +
 1 file changed, 1 insertion(+)

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
-- 
2.39.2