diff --git a/tools/build b/tools/build new file mode 100755 index 0000000..8704287 --- /dev/null +++ b/tools/build @@ -0,0 +1,4 @@ +#!/usr/bin/env sh + +make -f makefile +