From ea0f81a6b2a72a1bf67bd892e1eff9af02e68e81 Mon Sep 17 00:00:00 2001 From: Kai Koehne Date: Thu, 5 Nov 2020 14:47:09 +0100 Subject: [PATCH] configure: Fix call without options Previously this would result in config.opt file not being written. Change-Id: I9ce349a7cda9f399fa789a569e46138ea90769f5 Reviewed-by: Joerg Bornemann --- configure | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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