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

Author: Abramo Bagnara abramo.bagnara@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 "[^ -~]" "$@"