diff --git a/Tools/gittools/path-libraries.sh b/Tools/gittools/path-libraries.sh new file mode 100755 index 0000000000..14aaf4f2e3 --- /dev/null +++ b/Tools/gittools/path-libraries.sh @@ -0,0 +1,45 @@ +#!/bin/bash + +usage() { + cat >&$1 <&$1 <