diff options
| author | Arnold D. Robbins <arnold@skeeve.com> | 2010-07-16 14:49:57 +0300 |
|---|---|---|
| committer | Arnold D. Robbins <arnold@skeeve.com> | 2010-07-16 14:49:57 +0300 |
| commit | 6a2caf2157d87b4b582b2494bdd7d6a688dd0b1f (patch) | |
| tree | 9a2862cc11be4832f188cfbdce175120ceba5024 /ext.c | |
| parent | 315bd501ca696bc3e3c938b4604d8dac7a6f512f (diff) | |
| download | egawk-6a2caf2157d87b4b582b2494bdd7d6a688dd0b1f.tar.gz egawk-6a2caf2157d87b4b582b2494bdd7d6a688dd0b1f.tar.bz2 egawk-6a2caf2157d87b4b582b2494bdd7d6a688dd0b1f.zip | |
Move to gawk-3.1.6.
Diffstat (limited to 'ext.c')
| -rw-r--r-- | ext.c | 9 |
1 files changed, 6 insertions, 3 deletions
@@ -7,14 +7,14 @@ */ /* - * Copyright (C) 1995 - 2001, 2003-2005 the Free Software Foundation, Inc. + * Copyright (C) 1995 - 2001, 2003-2007 the Free Software Foundation, Inc. * * This file is part of GAWK, the GNU implementation of the * AWK Programming Language. * * GAWK is free software; you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by - * the Free Software Foundation; either version 2 of the License, or + * the Free Software Foundation; either version 3 of the License, or * (at your option) any later version. * * GAWK is distributed in the hope that it will be useful, @@ -49,6 +49,7 @@ do_ext(NODE *tree) NODE *(*func) P((NODE *, void *)); void *dl; int flags = RTLD_LAZY; + static short warned = FALSE; #ifdef __GNUC__ AWKNUM junk; @@ -56,8 +57,10 @@ do_ext(NODE *tree) junk = (AWKNUM) dummy; #endif - if (do_lint) + if (do_lint && ! warned) { + warned = TRUE; lintwarn(_("`extension' is a gawk extension")); + } if (do_traditional || do_posix) { errcount++; |