From 94b8e1276f6be454e09437faba49564836986a61 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Fri, 1 Sep 2017 19:11:05 +0200
Subject: Make a test for coq_makefile portable.

The validity of this test depended on Makefile issueing warnings in English.
We simply force the global language of the shell to be C.
---
 test-suite/coq-makefile/template/init.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/test-suite/coq-makefile/template/init.sh b/test-suite/coq-makefile/template/init.sh
index 803fe8029a..c4bd11c57d 100755
--- a/test-suite/coq-makefile/template/init.sh
+++ b/test-suite/coq-makefile/template/init.sh
@@ -2,6 +2,7 @@ set -e
 set -o pipefail
 
 export PATH=$COQBIN:$PATH
+export LC_ALL=C
 
 rm -rf theories src Makefile Makefile.conf tmp
 git clean -dfx || true
-- 
cgit v1.2.3