diff options
| author |  satmd | 2024-02-11 05:18:32 +0100 |
|---|---|---|
| committer |  GitHub | 2024-02-11 04:18:32 +0000 |
| commit | d2df15e520999772a3dc42265712002e57a1b89e (patch) | |
| tree | a8f44664de9e21bd35f59dcd8041461f9aaac21a /make | |
| parent | Use ubuntu-latest when the runner distro isn't critical. (diff) | |
Use `--version` to check whether the compiler binary is valid.
Ref: #2071
Diffstat (limited to 'make')
| -rw-r--r-- | make/configure.pm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/make/configure.pm b/make/configure.pm index feb7c0f59..23bfff6a3 100644 --- a/make/configure.pm +++ b/make/configure.pm @@ -94,7 +94,7 @@ sub __get_template_settings($$$) { sub __test_compiler($) { my $compiler = shift; - return 0 unless run_test("`$compiler`", !system "$compiler -v ${\CONFIGURE_ERROR_PIPE}"); + return 0 unless run_test("`$compiler`", !system "$compiler --version ${\CONFIGURE_ERROR_PIPE}"); return 0 unless run_test("`$compiler`", test_file($compiler, 'compiler.cpp', '-fno-rtti'), 'compatible'); return 1; } |