A HORRIBLE makefile kludge. Paper is 4.1 and plastic is 3.4, so tip

built on paper core dumps on plastic. Need I say more? How depressing
to be forced into such hackery.

tip/GNUmakefile.in

@@ -5,7 +5,13 @@ SUBDIR		= tip
 
 include $(OBJDIR)/Makeconf
 
-all: tip.static # tip
+#
+# Do not build tip in general build. All this kludgery is to make sure
+# that if we build on paper but install it on plastic, tip will get
+# built over there and not here. 3.4 vs 4.1 problems. Big Sigh. 
+# 
+all:
+	@echo "TIP cannot be built or installed on the ops node"
 
 include $(TESTBED_SRCDIR)/GNUmakerules
 
@@ -27,14 +33,15 @@ tip.static: $(OBJS)
 
 $(OBJS): tipconf.h tip.h
 
-install: all
-	-mkdir -p $(INSTALL_BINDIR)
-	$(INSTALL_PROGRAM) tip.static $(INSTALL_BINDIR)/tip
+install:
+	@echo "TIP cannot be built or installed on the ops node"
 
 #
 # Control node installation (okay, plastic)
 #
-control-install:	install
+control-install:	tip.static
+	-mkdir -p $(INSTALL_BINDIR)
+	$(INSTALL_PROGRAM) tip.static $(INSTALL_BINDIR)/tip
 
 clean:
 	rm -f $(OBJS) tip tip.static