diff options
| author | ruki <[email protected]> | 2017-02-17 20:07:33 +0800 |
|---|---|---|
| committer | ruki <[email protected]> | 2017-02-17 20:07:33 +0800 |
| commit | cc7f4047231bbed2b6768ab38d8c836db27b4d40 (patch) | |
| tree | 3b3963d51c0ed95b57bf53600dd196a9de220f08 | |
| parent | 6fcb7f953c4c397b7e08bf577f37195508663260 (diff) | |
suppress config output
| -rwxr-xr-x | xmake/actions/config/main.lua | 14 |
1 files changed, 9 insertions, 5 deletions
diff --git a/xmake/actions/config/main.lua b/xmake/actions/config/main.lua index 950f6a06f..57ddc2a4e 100755 --- a/xmake/actions/config/main.lua +++ b/xmake/actions/config/main.lua @@ -241,12 +241,16 @@ function main() configheader.make() end - -- dump it - config.dump() + -- trace + if recheck or option.get("verbose") then + + -- dump it + config.dump() + + -- trace + cprint("${bright}configure ok!") + end -- finished _g.finished = true - - -- trace - cprint("${bright}configure ok!") end |
