[PPL-devel] [GIT] ppl/ppl(master): Do rename HAVE_DECL_SETRLIMIT.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at 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