diff options
| author | ruki <[email protected]> | 2016-05-31 15:49:37 +0800 |
|---|---|---|
| committer | ruki <[email protected]> | 2016-05-31 15:49:37 +0800 |
| commit | 5769dba5932aad3a97c8db36c80a15064b71f556 (patch) | |
| tree | cd08ffc12af5dc735fd1714adcaa2657e4b0f730 /xmake/core/main.lua | |
| parent | 2258b6be79c6b07a197ca27f79c89baaf8fd3779 (diff) | |
add history
Diffstat (limited to 'xmake/core/main.lua')
| -rw-r--r-- | xmake/core/main.lua | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/xmake/core/main.lua b/xmake/core/main.lua index b2177db57..4abb59c67 100644 --- a/xmake/core/main.lua +++ b/xmake/core/main.lua @@ -31,6 +31,7 @@ local option = require("base/option") local profiler = require("base/profiler") local deprecated = require("base/deprecated") local task = require("project/task") +local history = require("project/history") -- init the option menu local menu = @@ -108,10 +109,13 @@ function main.done() main._init() -- init option - if not option.init(xmake._ARGV, menu) then + if not option.init(menu) then return -1 end + -- save command lines to history + history.save("cmdlines", option.cmdline()) + -- run help? if main._help() then return 1 |
