diff options
| author | ruki <[email protected]> | 2023-02-04 00:52:58 +0800 |
|---|---|---|
| committer | ruki <[email protected]> | 2023-02-04 00:52:58 +0800 |
| commit | 22b7d39fbe2ccf10371af59c8b451dc0f0ec3545 (patch) | |
| tree | 4eabde17621d9bd3943b4460d0cce4ef4a85584d | |
| parent | ccb0ede6e755b0f736a7dd1f6b00b871df5221d0 (diff) | |
improve configure
| -rwxr-xr-x | configure | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -414,8 +414,8 @@ path_toolname() { ar) toolname="ar";; cc) toolname="gcc";; */cc) toolname="gcc";; - c++) toolname="g++";; - */c++) toolname="g++";; + c++) toolname="gxx";; + */c++) toolname="gxx";; *) raise "unknown tool ${1}";; esac _ret="${toolname}" |
