DO NOT MERGE: test Legion MR 1440.

StanfordLegion · Aug 30, 2024 · 6c11124 · 6c11124
1 parent d56e514
commit 6c11124
Showing 1 changed file with 1 addition and 1 deletion.
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-ppopp25-mr1440 https://gitlab.com/StanfordLegion/legion.git
 fi
 
 pushd legion