[add] tools:build

2023-10-26 11:54:39 +02:00 · 2023-10-26 11:54:39 +02:00 · 9224304dbe
parent 513657c1fe
commit 9224304dbe
1 changed files with 4 additions and 0 deletions
--- a/tools/build
+++ b/tools/build
@ -0,0 +1,4 @@
+#!/usr/bin/env sh
+
+make -f makefile
+