1 files changed, 1 insertions, 1 deletions
diff --git a/configure b/configure
index 073f2a1b3a..b76f22a43f 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