diff options
| author | ruki <[email protected]> | 2023-01-17 23:37:02 +0800 |
|---|---|---|
| committer | ruki <[email protected]> | 2023-01-17 23:37:02 +0800 |
| commit | 6815fef186d11ce80fd569a72355bc9b222e35af (patch) | |
| tree | 245bc22de50d55bbfa830a7ddfa223e88fc76e22 | |
| parent | 92bdc99024ac5efd3b3efdea6acdbc72228229ad (diff) | |
update configure
| -rwxr-xr-x | configure | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -4027,6 +4027,9 @@ _gmake_add_install() { _gmake_done() { echo "makefile is generated!" + if "${xmake_sh_diagnosis}"; then + cat "${xmake_sh_makefile}" + fi } # generate build file for gmake |
