Commit 0a66d0ca authored by Bernd Flemisch's avatar Bernd Flemisch
Browse files

Merge branch 'fixup/existing-dumux-folder-ci' into 'master'

ci/avoid-dumux-name-clash

See merge request !158
parents f64408c3 b472986d
Pipeline #7201 passed with stage
......@@ -13,7 +13,7 @@ workflow:
# variables that may be overwritten by the trigger
variables:
DUMUX_REPO: "https://git.iws.uni-stuttgart.de/dumux-repositories/dumux.git"
DUMUX_FOLDER: "dumux"
DUMUX_FOLDER: "DUMUX"
MR_TARGET_BRANCH_NAME: ""
DUMUX_MR_SOURCE_BRANCH: ""
DUMUX_MR_TARGET_BRANCH: ""
......@@ -24,7 +24,7 @@ select tests:
stage: configure
before_script:
- |
if [ ! -d $DUMUX_FOLDER ]; then
if [ ! -d "$DUMUX_FOLDER" ]; then
git clone -b master --depth 1 $DUMUX_REPO $DUMUX_FOLDER
fi
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment