diff options
| author | ruki <[email protected]> | 2016-05-25 12:59:23 +0800 |
|---|---|---|
| committer | ruki <[email protected]> | 2016-05-25 12:59:23 +0800 |
| commit | af0d4247f488cdec9f0ba0a05f484e8f9fcfa59b (patch) | |
| tree | 556816ba5df8a1ca41780dcee1d36b9480c0d31b /xmake/core/main.lua | |
| parent | c8f23de807e6efcd6b797a6dde6366d67f64906d (diff) | |
dump deprecated entries
Diffstat (limited to 'xmake/core/main.lua')
| -rw-r--r-- | xmake/core/main.lua | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/xmake/core/main.lua b/xmake/core/main.lua index 589f1ae1c..b2177db57 100644 --- a/xmake/core/main.lua +++ b/xmake/core/main.lua @@ -29,6 +29,7 @@ local path = require("base/path") local utils = require("base/utils") local option = require("base/option") local profiler = require("base/profiler") +local deprecated = require("base/deprecated") local task = require("project/task") -- init the option menu @@ -123,6 +124,9 @@ function main.done() return -1 end + -- dump deprecated entries + deprecated.dump() + -- stop profiling -- profiler:stop() |