From c9d543d9710f5ba52423037a49499a7910a2bb26 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Wed, 14 Jun 2017 12:17:40 -0400 Subject: Fix ci-fiat-crypto to have a proper lite target The lite target depends on having the submodule cloned to generate the list of files to not build. --- dev/ci/ci-fiat-crypto.sh | 1 + 1 file changed, 1 insertion(+) (limited to 'dev/ci/ci-fiat-crypto.sh') diff --git a/dev/ci/ci-fiat-crypto.sh b/dev/ci/ci-fiat-crypto.sh index c6df45a1d..ad6cb8c0e 100755 --- a/dev/ci/ci-fiat-crypto.sh +++ b/dev/ci/ci-fiat-crypto.sh @@ -6,5 +6,6 @@ source ${ci_dir}/ci-common.sh fiat_crypto_CI_DIR=${CI_BUILD_DIR}/fiat-crypto git_checkout ${fiat_crypto_CI_BRANCH} ${fiat_crypto_CI_GITURL} ${fiat_crypto_CI_DIR} +( cd ${fiat_crypto_CI_DIR} && git submodule update --init --recursive ) ( cd ${fiat_crypto_CI_DIR} && make -j ${NJOBS} lite ) -- cgit v1.2.3