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 +