Loading ifs/scripts/dl_dep.sh +6 −2 Original line number Diff line number Diff line Loading @@ -5,6 +5,11 @@ COMMON_WGET_FLAGS="--no-verbose" COMMON_GIT_FLAGS="--quiet --single-branch" # Stop all backround jobs on interruption. # "kill -- -$$" sends a SIGTERM to the whole process group, # thus killing also descendants. trap "trap - SIGTERM && kill -- -$$" SIGINT SIGTERM EXIT clonedeps() { local FOLDER=$1 local REPO=$2 Loading @@ -30,9 +35,8 @@ wgetdeps() { URL=$2 if [ -d "${SOURCE}/${FOLDER}" ]; then rm -rf "${SOURCE}/${FOLDER}" else mkdir -p "${SOURCE}/${FOLDER}" fi mkdir -p "${SOURCE}/${FOLDER}" cd ${SOURCE} FILENAME=$(basename $URL) if [ -f "${SOURCE}/$FILENAME" ]; then Loading Loading
ifs/scripts/dl_dep.sh +6 −2 Original line number Diff line number Diff line Loading @@ -5,6 +5,11 @@ COMMON_WGET_FLAGS="--no-verbose" COMMON_GIT_FLAGS="--quiet --single-branch" # Stop all backround jobs on interruption. # "kill -- -$$" sends a SIGTERM to the whole process group, # thus killing also descendants. trap "trap - SIGTERM && kill -- -$$" SIGINT SIGTERM EXIT clonedeps() { local FOLDER=$1 local REPO=$2 Loading @@ -30,9 +35,8 @@ wgetdeps() { URL=$2 if [ -d "${SOURCE}/${FOLDER}" ]; then rm -rf "${SOURCE}/${FOLDER}" else mkdir -p "${SOURCE}/${FOLDER}" fi mkdir -p "${SOURCE}/${FOLDER}" cd ${SOURCE} FILENAME=$(basename $URL) if [ -f "${SOURCE}/$FILENAME" ]; then Loading