[PPL-devel] [GIT] ppl/ppl(master): Set LC_COLLATE=C in addition to LANG=C.

[Roberto Bagnara]

Module: ppl/ppl
Branch: master
Commit: a2da0f6fec2663e13c9e9b657f80bca8d9f84a34
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a2da0f6fec2663e13c9e9b657f80bca8d9f84a34

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Mon Apr  6 15:11:47 2009 +0200

Set LC_COLLATE=C in addition to LANG=C.

---

 demos/ppl_lcdd/Makefile.am |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/demos/ppl_lcdd/Makefile.am b/demos/ppl_lcdd/Makefile.am
index e038e0d..6f02571 100644
--- a/demos/ppl_lcdd/Makefile.am
+++ b/demos/ppl_lcdd/Makefile.am
@@ -107,7 +107,7 @@ $(TOUGH_EXAMPLES_IF_ASSERTIONS_ENABLED)
 check-local: ppl_lcdd$(EXEEXT)
 	echo $(TOUGH_EXAMPLES) >tough_examples
 	echo $(ECHO_N) "$(ECHO_C)" >obtained
-	LANG=C; \
+	LANG=C; LC_COLLATE=C; \
 	for path in $(srcdir)/examples/*.ext $(srcdir)/examples/*.ine; \
 	do \
 	  file=`basename $$path`; \