From 6815fef186d11ce80fd569a72355bc9b222e35af Mon Sep 17 00:00:00 2001 From: ruki Date: Tue, 17 Jan 2023 23:37:02 +0800 Subject: update configure --- configure | 3 +++ 1 file changed, 3 insertions(+) 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 -- cgit v1.3.1