From a63d2f5362cd574666e107d3568838319b6ceee0 Mon Sep 17 00:00:00 2001 From: Elliott Slaughter Date: Tue, 27 Aug 2024 10:27:52 -0700 Subject: [PATCH] DO NOT MERGE: test Legion MR 1440. --- test.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/test.sh b/test.sh index 0a46665..14c5c90 100755 --- 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