File makefile artifact 35641b8f47 part of check-in 2e37b523b5
lua != which lua luac != which luac cortav: cortav.lua echo '#!$(lua)' > $@ luac -s -o - $< >> $@ chmod +x $@
lua != which lua luac != which luac cortav: cortav.lua echo '#!$(lua)' > $@ luac -s -o - $< >> $@ chmod +x $@