diff --git a/GNUmakefile.in b/GNUmakefile.in index 4f95a574a4a022dd0e947ea4bc5957fb9f6133f5..fe63abca859d3765ee8568718907788b238f6ad0 100644 --- a/GNUmakefile.in +++ b/GNUmakefile.in @@ -61,6 +61,7 @@ endif @$(MAKE) -C mote post-install @$(MAKE) -C tools post-install @$(MAKE) -C wiki post-install + @$(MAKE) -C utils post-install # # For installation on the 'ops' or 'users' node (okay, plastic)