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/refresh-all.sh
ViewVC logotype

Diff of /admin/refresh-all.sh

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

revision 5008, Sun Apr 28 17:23:37 2019 UTC revision 5009, Sun Apr 28 18:10:43 2019 UTC
# Line 8  Line 8 
8    
9  for tree in admin config base smlnj-lib MLRISC ml-yacc trace-debug-profile pgraph \  for tree in admin config base smlnj-lib MLRISC ml-yacc trace-debug-profile pgraph \
10              ckit cml eXene smlnj-c ml-burg ml-lex heap2asm nlffi \              ckit cml eXene smlnj-c ml-burg ml-lex heap2asm nlffi \
11              asdl ml-lpt smldoc doc              asdl ml-lpt smldoc doc dev-notes
12  do  do
13    if [ -d $tree -a -d $tree/.svn ] ; then    if [ -d $tree -a -d $tree/.svn ] ; then
14        echo Refreshing ${tree}...        echo Refreshing ${tree}...

Legend:
Removed from v.5008  
changed lines
  Added in v.5009

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