build.sh (2809be5) - fs-draft.git

8794e319de05611d80218f8a3f07fa1992d0c228

build-system fenris authored 8 years ago	`1) #!/bin/bash 2)`
minor changes; move to kora... Christian Fraß authored 7 years ago	`3) js tools/koralle.js > makefile && make $@ ; rm makefile`