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

6 Apr 2009

Module: ppl/ppl
Branch: master
Commit: a2da0f6fec2663e13c9e9b657f80bca8d9f84a34
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a2da0f6fec266...
Author: Roberto Bagnara bagnara@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`; \

    

Roberto Bagnara

tags (0)

participants (1)