DO NOT MERGE: test MR 1440.

StanfordLegion · Dec 12, 2024 · 016d375 · 016d375
1 parent 4f7dca1
commit 016d375
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/experiment/setup.sh b/experiment/setup.sh
@@ -12,7 +12,7 @@ root_dir="$(dirname "$(dirname "$(readlink -f "${BASH_SOURCE[0]}")")")"
 git submodule update --init
 
 if [[ ! -e legion ]]; then
-    git clone -b regent-resilience https://gitlab.com/StanfordLegion/legion.git
+    git clone -b regent-resilience-mr1440 https://gitlab.com/StanfordLegion/legion.git
 fi
 
 if [[ $USE_HIP -eq 1 ]]; then

diff --git a/test.sh b/test.sh
@@ -15,7 +15,7 @@ fi
 git submodule update --init
 
 if [[ ! -e legion ]]; then
-    git clone -b regent-resilience https://gitlab.com/StanfordLegion/legion.git
+    git clone -b regent-resilience-mr1440 https://gitlab.com/StanfordLegion/legion.git
 fi
 
 pushd legion