build change

2018-07-06 17:03:44 +08:00
parent 4d3c998120
commit 4698dd384a
3 changed files with 1322 additions and 8273 deletions
--- a/peg/build.js
+++ b/peg/build.js
@ -19,7 +19,8 @@ function writeIn(file,data){
 function build(content){
    return pegjs.generate(content,{
        output:"source",
-        format:"umd"
+        format:"umd",
+        optimize:"size"
    });
 }
 files.forEach(