diff options
Diffstat (limited to 'compile_lib.sh')
| -rwxr-xr-x | compile_lib.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/compile_lib.sh b/compile_lib.sh index 30de701..27be682 100755 --- a/compile_lib.sh +++ b/compile_lib.sh @@ -13,7 +13,8 @@ if [ "$FLUSH" = true ] ; then rm $file done fi -for file in $(find lib/ -name "*.nom") ; do + +for file in $(cat compile_order.txt) ; do luafile="$file.lua" if [ ! -e "$luafile" ] || [ "$file" -nt "$luafile" ] ; then echo "Compiling $file into $luafile" |
