diff options
Diffstat (limited to 'controller/commit_results')
-rwxr-xr-x | controller/commit_results | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/controller/commit_results b/controller/commit_results deleted file mode 100755 index f18a361..0000000 --- a/controller/commit_results +++ /dev/null @@ -1,24 +0,0 @@ -#!/bin/bash - -srcdir=$(cd -P -- "$(dirname -- "$0")" && pwd -P) || exit 1 -. "$srcdir/config/config.sh" || { - echo >&2 "sorry, but $srcdir/config/config.sh not found" - exit 1 -} - -# argparse -resultdir="$1" -ressubdir="$2" -test -n "$ressubdir" || { "no path specified" ; exit 1 ; } -test -n "$3" && DTF_DATABASE="$2" - -# checks -test -z "$DTF_DATABASE" && exit 1 -test -f "$resultdir/dtf.tar.gz" || exit 1 - -# run -if test ! -d "$DTF_DATABASE/$ressubdir"; then - mkdir -p "$DTF_DATABASE/$ressubdir" -fi - -( cd "$resultdir" && tar -xf dtf.tar.gz && cp -r dtf "$DTF_DATABASE/$ressubdir" ) |