diff options
| author | Bruce Hill <bitbucket@bruce-hill.com> | 2018-01-10 13:52:41 -0800 |
|---|---|---|
| committer | Bruce Hill <bitbucket@bruce-hill.com> | 2018-01-10 13:52:41 -0800 |
| commit | ea05cc155ee2327be824e0619486b3c4c66d5550 (patch) | |
| tree | 45b428342b38575bc4a6a14494d4c98e191e94c2 /compile_lib.sh | |
| parent | 787c7c5a6ce4ac6ba19890faf1afa067ea167104 (diff) | |
Switched back to using precompiled lua files instead of lua> "..",
because it's noticeably faster.
Diffstat (limited to 'compile_lib.sh')
| -rwxr-xr-x | compile_lib.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compile_lib.sh b/compile_lib.sh index 5d6c19d..6e4e78a 100755 --- a/compile_lib.sh +++ b/compile_lib.sh @@ -11,13 +11,13 @@ while getopts ":f" opt; do esac done if [ "$FLUSH" = true ] ; then - for file in $(find lib/ -name "*.nomc") ; do + for file in $(find lib/ -name "*.lua") ; do rm $file done fi for file in $(cat lib/core.nom | lua -e "for filename in io.read('*a'):gmatch('require \"([^\"]*)\"') do print(filename) end") ; do - compilefile="${file/\.nom/.nomc}" + compilefile="${file/\.nom/.lua}" if [ ! -e "$compilefile" ] || [ "$file" -nt "$compilefile" ] ; then echo "Compiling $file into $compilefile" ./nomsu.moon -c $file |
