diff options
Diffstat (limited to 'extension/Makefile.in')
| -rw-r--r-- | extension/Makefile.in | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/extension/Makefile.in b/extension/Makefile.in index ee55d65b..bc7d81af 100644 --- a/extension/Makefile.in +++ b/extension/Makefile.in @@ -1195,6 +1195,12 @@ install-data-hook: $(RM) $(pkgextensiondir)/$$i ; \ done +# Keep the uninstall check working: +uninstall-so: + $(RM) $(pkgextensiondir)/*.so + +uninstall-recursive: uninstall-so + # 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. |