Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /sml/trunk/config/install.sh
ViewVC logotype

Diff of /sml/trunk/config/install.sh

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 828, Fri May 11 18:32:07 2001 UTC revision 829, Mon May 14 15:30:56 2001 UTC
# Line 35  Line 35 
35  #  #
36  MAKE=make  MAKE=make
37    
38    #
39    # Make sure we don't have any unpleasant surprises due to the installing
40    # user's process environment:
41    #
42    unset CM_PATHCONFIG
43    
44  SHELL=/bin/sh  SHELL=/bin/sh
45  echo $this: Using shell $SHELL.  echo $this: Using shell $SHELL.
46    
# Line 383  Line 389 
389          echo $this: Building $TARGET.          echo $this: Building $TARGET.
390          unpack $2 $SRCDIR $1 $1          unpack $2 $SRCDIR $1 $1
391          cd $SRCDIR/$1          cd $SRCDIR/$1
392          ./build          # build it, but make sure we don't pick up some (unrelated)
393            # local path configuration...
394            CM_LOCAL_PATHCONFIG=/dev/null ./build
395          if [ -r $TARGETLOC ] ; then          if [ -r $TARGETLOC ] ; then
396              mv $TARGETLOC $HEAPDIR/$TARGET              mv $TARGETLOC $HEAPDIR/$TARGET
397              if [ ! -f $BINDIR/$1 ] ; then              if [ ! -f $BINDIR/$1 ] ; then

Legend:
Removed from v.828  
changed lines
  Added in v.829

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0