diff --git a/configure b/configure index 073f2a1b3a4..b76f22a43f3 100755 --- a/configure +++ b/configure @@ -928,7 +928,7 @@ if [ "$BUILD_WITH_CMAKE" = "yes" ]; then optfilename=config.opt if [ -z "$optfile" ]; then # only write optfile if not currently redoing optfilepath=${outpathPrefix}${optfilename} - if [ -f "$optfilepath" ]; then rm "$optfilepath"; fi + > "$optfilepath" for arg in "$@"; do if [ "$arg" = "-top-level" ]; then continue