diff options
| -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 802fcf0..5d6c19d 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 "*compiled.nom") ; do + for file in $(find lib/ -name "*.nomc") ; 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/.compiled.nom}" + compilefile="${file/\.nom/.nomc}" if [ ! -e "$compilefile" ] || [ "$file" -nt "$compilefile" ] ; then echo "Compiling $file into $compilefile" ./nomsu.moon -c $file |