From a0be239f127472a14bc34468b42ae1a49cfbc38b Mon Sep 17 00:00:00 2001 From: Don BURNS Date: Tue, 13 Aug 2002 18:29:50 +0000 Subject: [PATCH] Added some comments --- Make/instrules | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/Make/instrules b/Make/instrules index ee6ce6d0e..126227c64 100644 --- a/Make/instrules +++ b/Make/instrules @@ -137,8 +137,12 @@ __install : done\ fi +# These lines cause instlinks to install links pointing to the actual files +# rather than the links in $(TOPDIR)/{bin,lib,include}. Advantage of this +# is for systems that hold multiple platforms in the same nfs mounted source +# but install different executables. Disadvantage is that it is not trivial +# to change to debug version by simply doing a 'make debug'. # while [ -L $$INSTPATH ]; \ - # while `csh -f -c "test -L $$INSTPATH"` ;\ # do \ # ll=`ls -l $$INSTPATH | cut -f2 -d">"`;\