From 9224304dbef86e410818e19c3fd33949e277e243 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Christian=20Fra=C3=9F?= Date: Thu, 26 Oct 2023 11:54:39 +0200 Subject: [PATCH] [add] tools:build --- tools/build | 4 ++++ 1 file changed, 4 insertions(+) create mode 100755 tools/build 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 +