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 /config/releases/release-110.60/install.sh
ViewVC logotype

Diff of /config/releases/release-110.60/install.sh

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

revision 691, Tue Jul 25 07:20:24 2000 UTC revision 814, Tue May 1 15:44:45 2001 UTC
# Line 70  Line 70 
70  #  #
71  # A temporary file for post-editing the pathconfig file...  # A temporary file for post-editing the pathconfig file...
72  #  #
73  PCEDITTMP=/usr/tmp/pcedittmp.$$  PCEDITTMP=$INSTALLDIR/pcedittmp.$$
74    
75  #  #
76  # files to be deleted after we are done...  # files to be deleted after we are done...
# Line 514  Line 514 
514      $MAKE -f mk.$ARCH-$OPSYS $EXTRA_DEFS      $MAKE -f mk.$ARCH-$OPSYS $EXTRA_DEFS
515      if [ -x run.$ARCH-$OPSYS ]; then      if [ -x run.$ARCH-$OPSYS ]; then
516          mv run.$ARCH-$OPSYS $RUNDIR          mv run.$ARCH-$OPSYS $RUNDIR
517          # $MAKE MAKE=$MAKE clean          $MAKE MAKE=$MAKE clean
518      else      else
519          echo "$this: !!! Run-time system build failed for some reason."          echo "$this: !!! Run-time system build failed for some reason."
520          exit 1          exit 1

Legend:
Removed from v.691  
changed lines
  Added in v.814

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