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/src/system/installml
ViewVC logotype

Diff of /sml/trunk/src/system/installml

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

revision 536, Fri Feb 18 16:51:54 2000 UTC revision 537, Fri Feb 18 17:20:16 2000 UTC
# Line 44  Line 44 
44  cd $LIB_DIR  cd $LIB_DIR
45  list=`echo *.cm`  list=`echo *.cm`
46  cd ..  cd ..
47  for lib in $list ; do  for lib in init.cmi $list ; do
48      if [ -d $MAIN_LIB_DIR/$lib/CM/$ARCH-unix ] ; then      if [ -d $MAIN_LIB_DIR/$lib/CM/$ARCH-unix ] ; then
49          rm -r $MAIN_LIB_DIR/$lib/CM/$ARCH-unix          rm -r $MAIN_LIB_DIR/$lib/CM/$ARCH-unix
50      fi      fi

Legend:
Removed from v.536  
changed lines
  Added in v.537

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