diff options
Diffstat (limited to 'extension/Makefile.in')
| -rw-r--r-- | extension/Makefile.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/extension/Makefile.in b/extension/Makefile.in index 945e5534..e08c6de2 100644 --- a/extension/Makefile.in +++ b/extension/Makefile.in @@ -1242,6 +1242,7 @@ uninstall-so: $(RM) $(DESTDIR)$(pkgextensiondir)/*.so $(RM) $(DESTDIR)$(pkgextensiondir)/*.dll $(RM) $(DESTDIR)$(pkgextensiondir)/*.a + $(RM) $(DESTDIR)$(pkgextensiondir)/*.lib uninstall-recursive: uninstall-so |