From 1238fbee93d632c9bf811abc393627c1b95b1b6c Mon Sep 17 00:00:00 2001
From: Mike Hibler <mike@flux.utah.edu>
Date: Wed, 23 Mar 2005 20:47:07 +0000
Subject: [PATCH] Forgot to add post-install of tools directory (for whol)

---
 GNUmakefile.in | 1 +
 1 file changed, 1 insertion(+)

diff --git a/GNUmakefile.in b/GNUmakefile.in
index a4f1944278..f3e7cf824d 100644
--- a/GNUmakefile.in
+++ b/GNUmakefile.in
@@ -56,6 +56,7 @@ ifeq ($(EVENTSYS),1)
 	@$(MAKE) -C event post-install
 endif
 	@$(MAKE) -C mote post-install
+	@$(MAKE) -C tools post-install
 
 #
 # For installation on the 'ops' or 'users' node (okay, plastic)
-- 
GitLab