From cfdb88eb3375aeb64d616a83630b300be93bbe83 Mon Sep 17 00:00:00 2001 From: Brian Wellington Date: Tue, 10 Oct 2000 23:12:54 +0000 Subject: [PATCH] removed the check for stray NOMINUM_, since it didn't work. It's also not too useful if keys can now be arbitrary. --- util/sanitize.pl | 7 +------ 1 file changed, 1 insertion(+), 6 deletions(-) diff --git a/util/sanitize.pl b/util/sanitize.pl index c2082ed654..92ace62262 100644 --- a/util/sanitize.pl +++ b/util/sanitize.pl @@ -15,7 +15,7 @@ # NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF OR IN CONNECTION # WITH THE USE OR PERFORMANCE OF THIS SOFTWARE. -# $Id: sanitize.pl,v 1.12 2000/10/10 23:07:35 bwelling Exp $ +# $Id: sanitize.pl,v 1.13 2000/10/10 23:12:54 bwelling Exp $ # Don't try and sanitize this file: NOMINUM_IGNORE @@ -176,11 +176,6 @@ sub runfile($) { goto doneline; } } - if (/NOMINUM_/) { - print(STDERR "*** WARNING in file $_[0] line $.: ". - "NOMINUM_ outside of ". - "#ifdef/#else/#endif.\n"); - } doneline: for ($i = 0 ; $i < $curkeys; $i++) { if ($state[$i] != 0) {