Unused option

diff --git a/development/tools/lyx-build b/development/tools/lyx-build
index 72184273ac9301d12acdcf91ed6d5f19dba4f29d..c2a056dd2e99b310c976d0fc207244014d8caff7 100755 (executable)
--- a/development/tools/lyx-build
+++ b/development/tools/lyx-build
@@ -36,7 +36,7 @@ echo " -m MAKEARGS: Arguments for make";
 echo " -P: Do not build patch files";
 }
 
-while getopts ":CDm:Ph" opt; do
+while getopts ":Cm:Ph" opt; do
   case $opt in
     C )   COMPILE="";; # don't test compilation
     m )   MAKEOPTS="$OPTARG";;