[PPL-devel] [GIT] ppl/ppl(master): Avoid differences generated by locale.

[Abramo Bagnara]

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

Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Mon Apr  6 15:17:16 2009 +0200

Avoid differences generated by locale.

---

 demos/ppl_lcdd/Makefile.am    |    2 +-
 demos/ppl_lpsol/Makefile.am   |    2 +-
 devtools/print_nonascii_lines |    3 ++-
 3 files changed, 4 insertions(+), 3 deletions(-)

diff --git a/demos/ppl_lcdd/Makefile.am b/demos/ppl_lcdd/Makefile.am
index 6f02571..7e40916 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; LC_COLLATE=C; \
+	export LC_ALL=C; \
 	for path in $(srcdir)/examples/*.ext $(srcdir)/examples/*.ine; \
 	do \
 	  file=`basename $$path`; \
diff --git a/demos/ppl_lpsol/Makefile.am b/demos/ppl_lpsol/Makefile.am
index 971597d..1df27b7 100644
--- a/demos/ppl_lpsol/Makefile.am
+++ b/demos/ppl_lpsol/Makefile.am
@@ -226,7 +226,7 @@ check-local: ppl_lpsol$(EXEEXT)
 	echo $(ECHO_N) "$(ECHO_C)" >obtained
 	echo $(LP_PROBLEMS) >lp_problems
 	echo $(DO_NOT_CHECK_PROBLEMS) >do_not_check_problems
-	LANG=C; \
+	export LC_ALL=C; \
 	echo $(TOUGH_EXAMPLES_FOR_BB_SATISFIABILITY) >tough_examples
 	-for path in $(srcdir)/examples/*.mps; \
 	do \
diff --git a/devtools/print_nonascii_lines b/devtools/print_nonascii_lines
index 7129e91..eca9cb2 100755
--- a/devtools/print_nonascii_lines
+++ b/devtools/print_nonascii_lines
@@ -1,2 +1,3 @@
 #!/bin/sh
-LANG=C grep -n "[^
	 -~]" "$@"
+export LC_ALL=C
+grep -n "[^
	 -~]" "$@"