Skip to content
Snippets Groups Projects
Commit 2962db3d authored by Robert K's avatar Robert K
Browse files

[cleanup] make build script work again.

parent f80dcf74
No related branches found
No related tags found
No related merge requests found
Pipeline #77335 passed
......@@ -2,7 +2,7 @@
#change appropriately, i.e. 2.8 or leave empty which refers to master
# use latest-stable to get a recent stable version
DUNEVERSION=latest-stable
DUNEVERSION=
UFLVERSION=2022.2.0
# use ON or OFF
......@@ -211,7 +211,7 @@ fi
# get all dune modules necessary
for MOD in $DUNECOREMODULES ; do
git clone --depth 1 $DUNEBRANCH $URL/$EXT/$MOD.git
git clone $DUNEBRANCH $URL/$EXT/$MOD.git
done
if [ "$EXT" != "" ]; then
......@@ -220,7 +220,7 @@ fi
# get all dune extension modules necessary
for MOD in $DUNEEXTMODULES ; do
git clone --depth 1 $DUNEBRANCH $URL/$EXT/$MOD.git
git clone $DUNEBRANCH $URL/$EXT/$MOD.git
done
if [ "$EXT" != "" ]; then
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment