diff options
Diffstat (limited to 'extension/Makefile.am')
| -rw-r--r-- | extension/Makefile.am | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/extension/Makefile.am b/extension/Makefile.am index 3ef72568..9c49bb81 100644 --- a/extension/Makefile.am +++ b/extension/Makefile.am @@ -122,18 +122,3 @@ dist_man_MANS = \ # gettext requires this SUBDIRS = - -# This is an ugly hack, initially for MirBSD but probably needed for other -# systems. If gawk doesn't have the API built in, don't try to build the -# extensions. -# -# Given the workaround in configure, this isn't strictly necessary, but -# we're leaving it in, in case of some other system needing it. -check-recursive all-recursive: check-for-shared-lib-support - -check-for-shared-lib-support: - @if ../gawk$(EXEEXT) --version | sed 1q | grep API > /dev/null; \ - then : do nothing ; \ - else echo Building the extensions is not supported on this platform ; \ - exit 1; \ - fi |