From 1f73fb3d80bf1651a52986efcbf6192041846048 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Christian=20Fra=C3=9F?= Date: Mon, 24 Jul 2023 13:09:16 +0200 Subject: [PATCH] [add] tools:install --- tools/install | 3 +++ 1 file changed, 3 insertions(+) create mode 100755 tools/install diff --git a/tools/install b/tools/install new file mode 100755 index 0000000..eddde05 --- /dev/null +++ b/tools/install @@ -0,0 +1,3 @@ +#!/usr/bin/env sh + +cp build/sindri /usr/local/bin/sindri