diff options
-rwxr-xr-x | scripts/configure_helper.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/scripts/configure_helper.py b/scripts/configure_helper.py index fa6bdbd93..7c22aa7b2 100755 --- a/scripts/configure_helper.py +++ b/scripts/configure_helper.py @@ -154,6 +154,8 @@ def ask_ptxdist(pkg): subdir = p.stdout.readline().strip() opt = shlex.split(p.stdout.readline().strip()) + shlex.split(p.stdout.readline().strip()) tool = p.stdout.readline().strip() + if not tool and opt: + tool = "autoconf" meson_default = shlex.split(p.stdout.readline().strip()) autoconf_default = shlex.split(p.stdout.readline().strip()) if tool == "meson" and not opt: |