File makefile artifact 35641b8f47 part of check-in 87fed4ec34
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 $@