Merge branch 'master' of git+ssh://openadk.org/git/openadk

scripts/install

@@ -0,0 +1,7 @@
+#!/usr/bin/env bash
+# This file is part of the OpenADK project. OpenADK is copyrighted
+# material, please see the LICENCE file in the top-level directory.
+set -x
+
+cmd=$(echo "$@"|sed -e "s#\(-o\|-g\) [0-9]*##g")
+/usr/bin/install $cmd