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 /admin/prepare-release.sh
ViewVC logotype

Diff of /admin/prepare-release.sh

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

revision 6042, Fri Dec 13 18:58:08 2019 UTC revision 6227, Tue Apr 21 18:54:27 2020 UTC
# Line 41  Line 41 
41    
42  # the log file  # the log file
43  #  #
44  LOG=LOG-$VERSION  LOG=$HERE/LOG-$VERSION
45    
46  # determine the size of the installed version of SML that we are going to  # determine the size of the installed version of SML that we are going to
47  # use to build the release.  # use to build the release.
# Line 115  Line 115 
115  echo "***** cd base/system" >> $LOG  echo "***** cd base/system" >> $LOG
116  cd base/system  cd base/system
117  echo "***** ./allcross" >> $LOG  echo "***** ./allcross" >> $LOG
118  ./allcross >> $LOG 2>&1 || exit 1  ./allcross $SZ_OPT >> $LOG 2>&1 || exit 1
119    
120  echo "done; the next step is to update the HISTORY.txt file"  echo "done; the next step is to update the HISTORY.txt file"

Legend:
Removed from v.6042  
changed lines
  Added in v.6227

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