From a7a0e482ed0a6e82cfa1fdc28c6bbb66e339aeec Mon Sep 17 00:00:00 2001 From: Thomas Jarosch Date: Fri, 22 Oct 2010 16:42:00 +0200 Subject: [PATCH] Rename all PC-Lint settings files to pclint.lnt so we can easily find them --- libi2ncommon.lnt | 5 ----- pclint.lnt | 5 +++++ 2 files changed, 5 insertions(+), 5 deletions(-) delete mode 100644 libi2ncommon.lnt create mode 100644 pclint.lnt diff --git a/libi2ncommon.lnt b/libi2ncommon.lnt deleted file mode 100644 index 74587e7..0000000 --- a/libi2ncommon.lnt +++ /dev/null @@ -1,5 +0,0 @@ -// PC-Lint 9.00 settings - -// Don't complain about bitset<7>::set return value --esym(534, std::bitset<*>::set) --esym(534, std::bitset<*>::reset) diff --git a/pclint.lnt b/pclint.lnt new file mode 100644 index 0000000..74587e7 --- /dev/null +++ b/pclint.lnt @@ -0,0 +1,5 @@ +// PC-Lint 9.00 settings + +// Don't complain about bitset<7>::set return value +-esym(534, std::bitset<*>::set) +-esym(534, std::bitset<*>::reset) -- 1.7.1