Reduced Linux binaries

2021-02-12 15:12:31 -06:00
parent 4650fc00be
commit 8f4e38af07
10 changed files with 545 additions and 1043 deletions
--- a/.vimrc
+++ b/.vimrc
@@ -1,2 +1,7 @@
 set autoread
 set path+=.,public/**,src/**,test/**
+if has('win32')
+  let &makeprg="create_dist.cmd"
+else
+  let &makeprg="./create_dist.sh"
+endif