From 7c6ebabaa48a427244acd748ffa784f192b1bd4d Mon Sep 17 00:00:00 2001
From: Tej Chajed
Date: Mon, 16 Nov 2020 11:51:08 -0600
Subject: [ci] Use lite target for Perennial

---
 dev/ci/ci-perennial.sh | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

(limited to 'dev/ci')

diff --git a/dev/ci/ci-perennial.sh b/dev/ci/ci-perennial.sh
index f3be66e814..306cbdf63c 100755
--- a/dev/ci/ci-perennial.sh
+++ b/dev/ci/ci-perennial.sh
@@ -6,7 +6,4 @@ ci_dir="$(dirname "$0")"
 FORCE_GIT=1
 git_download perennial
 
-# required by Perennial's coqc.py build wrapper
-export LC_ALL=C.UTF-8
-
-( cd "${CI_BUILD_DIR}/perennial" && git submodule update --init --recursive && make TIMED=false )
+( cd "${CI_BUILD_DIR}/perennial" && git submodule update --init --recursive && make TIMED=false lite )
-- 
cgit v1.2.3