DO NOT MERGE: test Legion MR 1440.

elliottslaughter · elliottslaughter · commit a63d2f5362cd · 2024-08-30T11:48:13.000-07:00
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
