summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorruki <[email protected]>2023-01-17 23:37:02 +0800
committerruki <[email protected]>2023-01-17 23:37:02 +0800
commit6815fef186d11ce80fd569a72355bc9b222e35af (patch)
tree245bc22de50d55bbfa830a7ddfa223e88fc76e22
parent92bdc99024ac5efd3b3efdea6acdbc72228229ad (diff)
update configure
-rwxr-xr-xconfigure3
1 files changed, 3 insertions, 0 deletions
diff --git a/configure b/configure
index 9ed54f187..85201f033 100755
--- a/configure
+++ b/configure
@@ -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