diff options
Diffstat (limited to 'extension/Makefile.in')
| -rw-r--r-- | extension/Makefile.in | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/extension/Makefile.in b/extension/Makefile.in index 9aa75cee..87529d95 100644 --- a/extension/Makefile.in +++ b/extension/Makefile.in @@ -1186,6 +1186,9 @@ uninstall-man: uninstall-man3 # 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: |