diff --git a/tools/GNUmakefile.in b/tools/GNUmakefile.in
index dc27801df8781b0ba13b1a93d7314fa06d4e1bcc..e7b369ee5a363bc0175e2f5460436fc60522e17d 100644
--- a/tools/GNUmakefile.in
+++ b/tools/GNUmakefile.in
@@ -17,6 +17,9 @@ all:	all-subdirs
 
 include $(TESTBED_SRCDIR)/GNUmakerules
 
+post-install:
+	@$(MAKE) -C whol post-install
+
 clean:	clean-subdirs
 
 # How to recursively descend into subdirectories to make general
@@ -24,3 +27,5 @@ clean:	clean-subdirs
 %.MAKE:
 	@$(MAKE) -C $(dir $@) $(basename $(notdir $@))
 %-subdirs: $(addsuffix /%.MAKE,$(SUBDIRS)) ;
+
+.PHONY: post-install