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/trunk/install.sh
ViewVC logotype

Diff of /config/trunk/install.sh

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

revision 2576, Mon May 21 22:11:19 2007 UTC revision 2577, Tue May 22 16:48:30 2007 UTC
# Line 421  Line 421 
421  if [ $nolib = false ] ; then  if [ $nolib = false ] ; then
422      echo $this: Installing other libraries and programs:      echo $this: Installing other libraries and programs:
423      export ROOT INSTALLDIR CONFIGDIR BINDIR      export ROOT INSTALLDIR CONFIGDIR BINDIR
424        CM_TOLERATE_TOOL_FAILURES=true
425        export CM_TOLERATE_TOOL_FAILURES
426      if "$BINDIR"/sml -m \$smlnj/installer.cm      if "$BINDIR"/sml -m \$smlnj/installer.cm
427      then      then
428          vsay $this: Installation complete.          vsay $this: Installation complete.

Legend:
Removed from v.2576  
changed lines
  Added in v.2577

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