diff options
author | Kai Koehne <kai.koehne@qt.io> | 2020-11-05 14:47:09 +0100 |
---|---|---|
committer | Kai Koehne <kai.koehne@qt.io> | 2020-11-07 19:33:37 +0100 |
commit | ea0f81a6b2a72a1bf67bd892e1eff9af02e68e81 (patch) | |
tree | de7c9453b8c490642a86c8d59c01f8acaa4e08a9 /configure | |
parent | f5b214130a06109b322284785083664962ea04fa (diff) |
configure: Fix call without options
Previously this would result in config.opt file not being written.
Change-Id: I9ce349a7cda9f399fa789a569e46138ea90769f5
Reviewed-by: Joerg Bornemann <joerg.bornemann@qt.io>
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |