diff options
author | verhoek <30193551+verhoek@users.noreply.github.com> | 2019-12-03 23:15:25 +0300 |
---|---|---|
committer | verhoek <30193551+verhoek@users.noreply.github.com> | 2019-12-03 23:15:25 +0300 |
commit | 063c812e5e507ac65e626c56e4333d5bc91f57d5 (patch) | |
tree | 5ba3625105c85436609cc8e69fcbeaf658745790 /pipeline/docker-run | |
parent | d99669fec5001189034eeb4b19e3e6f6f44c04b5 (diff) |
Version bump test + sanity check
Forgot a version bump and added sanity check of source/target dirs.
Diffstat (limited to 'pipeline/docker-run')
-rwxr-xr-x | pipeline/docker-run/docker-run | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/pipeline/docker-run/docker-run b/pipeline/docker-run/docker-run index 8e1cf78a9..aa3625825 100755 --- a/pipeline/docker-run/docker-run +++ b/pipeline/docker-run/docker-run @@ -82,6 +82,12 @@ function parse_options () { fi done + + if [ "${TARGET_DIR##${SOURCE_DIR}}" != "${TARGET_DIR}" ]; then + echo "targetdir $TARGET_DIR is not allowed to be a subdir of sourcedir $SOURCE_DIR" + fi + + add_option "--workingdir" "$TARGET_DIR" add_option "--sourcedirnum" ${#SOURCE_DIR[@]} } |