build.sh
a5c081d3
 #!/bin/bash
 
2809be59
 js tools/koralle.js > makefile && make $@ ; rm makefile
a5c081d3