From a4fedf45f576f4a93bd710f889798685485d8376 Mon Sep 17 00:00:00 2001 From: Fenris Wolf Date: Tue, 23 Sep 2025 20:56:35 +0200 Subject: [PATCH] [add] tools:install --- tools/install | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) create mode 100755 tools/install diff --git a/tools/install b/tools/install new file mode 100755 index 0000000..7363277 --- /dev/null +++ b/tools/install @@ -0,0 +1,16 @@ +#!/usr/bin/env sh + +## consts + +dir_build="build" + + +## args + +if [ $# -ge 1 ] ; then dir_target=$1 ; else dir_target=/usr/local/bin ; fi + + +## exec + +cp ${dir_build}/type2 ${dir_target}/type2 +