diff --git a/configure.ac b/configure.ac index 31dac5db6..ae84cf659 100644 --- a/configure.ac +++ b/configure.ac @@ -9633,7 +9633,7 @@ echo "" >> $OPTION_FILE # note: cut requires an argument to exit with success. if colrm >/dev/null 2>&1 /dev/null 2>&1 /dev/null 2>&1