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

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Oct 26 21:37:08 2011 +0200

Do rename HAVE_DECL_SETRLIMIT. Detected by ECLAIR service idntvcbl.

---

ppl-config.sed | 1 + 1 files changed, 1 insertions(+), 0 deletions(-)

diff --git a/ppl-config.sed b/ppl-config.sed index 95f8ae1..0cbe5d5 100644 --- a/ppl-config.sed +++ b/ppl-config.sed @@ -10,6 +10,7 @@ s/([^A-Z_])HAVE_DECL_RLIMIT_AS/\1PPL_HAVE_DECL_RLIMIT_AS/g s/([^A-Z_])HAVE_DECL_RLIMIT_DATA/\1PPL_HAVE_DECL_RLIMIT_DATA/g s/([^A-Z_])HAVE_DECL_RLIMIT_RSS/\1PPL_HAVE_DECL_RLIMIT_RSS/g s/([^A-Z_])HAVE_DECL_RLIMIT_VMEM/\1PPL_HAVE_DECL_RLIMIT_VMEM/g +s/([^A-Z_])HAVE_DECL_SETRLIMIT/\1PPL_HAVE_DECL_SETRLIMIT/g s/([^A-Z_])HAVE_DECL_SIGACTION/\1PPL_HAVE_DECL_SIGACTION/g s/([^A-Z_])HAVE_DECL_STRTOD/\1PPL_HAVE_DECL_STRTOD/g s/([^A-Z_])HAVE_DECL_STRTOF/\1PPL_HAVE_DECL_STRTOF/g