configure: Fix call without options

Previously this would result in config.opt file not being written. Change-Id: I9ce349a7cda9f399fa789a569e46138ea90769f5 Reviewed-by: Joerg Bornemann <[email protected]>
fwcd · Nov 7, 2020 · ea0f81a · ea0f81a
1 parent f5b2141
commit ea0f81a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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