diff options
| author | Ben Pfaff <blp@nicira.com> | 2011-08-25 10:20:01 -0700 |
|---|---|---|
| committer | Ben Pfaff <blp@nicira.com> | 2011-09-15 11:19:59 -0700 |
| commit | c0896bdd20b2b4ac7f1183835e2d8c99d6bb29fe (patch) | |
| tree | c7f5612ec4f9b671ab88cb4a628f0ca25ecc9023 /utilities | |
| parent | 44852fdf6335927b44ac7ebb348efa782a7f08de (diff) | |
bugtool: Uninstall plugins on "make uninstall".
This works toward making "make distcheck" succeed.
Diffstat (limited to 'utilities')
| -rw-r--r-- | utilities/bugtool/automake.mk | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/utilities/bugtool/automake.mk b/utilities/bugtool/automake.mk index 7d8d136e..622e5aaf 100644 --- a/utilities/bugtool/automake.mk +++ b/utilities/bugtool/automake.mk @@ -23,6 +23,18 @@ bugtool-install-data-local: $(MKDIR_P) "$(DESTDIR)$(bugtoolpluginsdir)/$$dir"; \ $(INSTALL_DATA) "$(srcdir)/$$plugin" "$(DESTDIR)$(bugtoolpluginsdir)/$$stem"; \ done + +UNINSTALL_LOCAL += bugtool-uninstall-local +bugtool-uninstall-local: + for plugin in $(bugtool_plugins); do \ + stem=`echo "$$plugin" | sed 's,utilities/bugtool/plugins/,,'`; \ + rm -f "$(DESTDIR)$(bugtoolpluginsdir)/$$stem"; \ + done + for plugin in $(bugtool_plugins); do \ + stem=`echo "$$plugin" | sed 's,utilities/bugtool/plugins/,,'`; \ + dir=`expr "$$stem" : '\(.*\)/[^/]*$$'`; \ + rmdir "$(DESTDIR)$(bugtoolpluginsdir)/$$dir"; \ + done; exit 0 endif EXTRA_DIST += \ |