From: Ben Pfaff <blp@nicira.com>
Date: Thu, 25 Aug 2011 17:20:01 +0000 (-0700)
Subject: bugtool: Uninstall plugins on "make uninstall".
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c0896bdd20b2b4ac7f1183835e2d8c99d6bb29fe;p=openvswitch

bugtool: Uninstall plugins on "make uninstall".

This works toward making "make distcheck" succeed.
---

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 += \