diff --git a/configure b/configure index 28e8a727..1f801a4a 100755 --- a/configure +++ b/configure @@ -112,6 +112,8 @@ install: $WAF install; \\ fi; +.PHONY: install + uninstall: @if test -n "\$(DESTDIR)"; then \\ $WAF uninstall --destdir="\$(DESTDIR)"; \\