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