Skip to content

Commit 211c4fb

Browse files
m
1 parent b9351df commit 211c4fb

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

test_vector_handlers/scripts/install_mpl_test_vector_runner.sh

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -11,8 +11,8 @@ cd "$(dirname "$0")"
1111
export mplVersion=$(grep 'aws-cryptographic-material-providers==' ../requirements_mpl.txt | sed -E 's/.*==(.+)/\1/')
1212

1313
# Clone MPL repo to get test vectors runner source code and the Dafny version to use
14-
# git clone --branch v$mplVersion --recurse-submodules https://github.com/aws/aws-cryptographic-material-providers-library.git
15-
git clone --recurse-submodules https://github.com/aws/aws-cryptographic-material-providers-library.git
14+
git clone --branch v$mplVersion --recurse-submodules https://github.com/aws/aws-cryptographic-material-providers-library.git
15+
# git clone --recurse-submodules https://github.com/aws/aws-cryptographic-material-providers-library.git
1616

1717
# Download Dafny to build the test vector runner; get Dafny version from ESDK's project.properties file
1818
export dafnyVersion=$(grep '^dafnyVersion=' aws-cryptographic-material-providers-library/project.properties | cut -d '=' -f 2)

0 commit comments

Comments
 (0)