From: 오형석/동작제어Lab(SR)/Staff Engineer/삼성전자 <hseok82.oh@samsung.com>
Date: Mon, 26 Nov 2018 01:06:56 +0000 (+0900)
Subject: Delete docker_helper file (#3689)
X-Git-Tag: 0.3~339
X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=f579737d20391ad53c85318913aa86185f13a2e7;p=platform%2Fcore%2Fml%2Fnnfw.git

Delete docker_helper file (#3689)

Delete docker_helper script file: not used any more

Signed-off-by: Hyeongseok Oh <hseok82.oh@samsung.com>
---

diff --git a/scripts/docker_helper b/scripts/docker_helper
deleted file mode 100644
index 37ec9fc..0000000
--- a/scripts/docker_helper
+++ /dev/null
@@ -1,33 +0,0 @@
-# Newly created files during docker run can have different ownership.
-# This may cause some problems, for example, some jenkins slaves or developers
-# can't remove built files due to lack of permission.
-# To address this issue, let's change owner of all files and subdirector
-# to owner of host directory.
-#
-# Parameters:
-#  $1 : host directory
-#  $2 : docker directory
-#
-# Requires following variables defined
-#   DOCKER_RUN_OPTS, DOCKER_ENV_VARS, DOCKER_VOLUMES, DOCKER_IMAGE_NAME 
-function restore_ownership() {
-    if [ -z "$1" ]
-    then
-        echo "Requires host path"
-        exit 1
-    fi
-    _HOST_DIR=$1
-
-    if [ -z "$2" ]
-    then
-        echo "Requires docker path"
-        exit 1
-    fi
-
-    _DOCKER_DIR=$2
-
-    _OWNER_UID=$(stat -c "%u" $_HOST_DIR)
-    _OWNER_GID=$(stat -c "%g" $_HOST_DIR)
-    CMD="chown -R $_OWNER_UID:$_OWNER_GID $_DOCKER_DIR"
-    docker run $DOCKER_RUN_OPTS $DOCKER_ENV_VARS $DOCKER_VOLUMES $DOCKER_IMAGE_NAME $CMD
-}