From: Richard Kimberly Heck Date: Sun, 7 Jun 2020 16:37:54 +0000 (-0400) Subject: Unused option X-Git-Tag: 2.3.6~102 X-Git-Url: https://git.lyx.org/gitweb/?a=commitdiff_plain;h=2cfb62c892696397730a9872c42d77a295444ce1;p=features.git Unused option --- diff --git a/development/tools/lyx-build b/development/tools/lyx-build index 72184273ac..c2a056dd2e 100755 --- 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";;