SCM Repository
Diff of /admin/refresh-all.sh
Parent Directory
| 
Revision Log
| 
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}... |
|
||||||||
| root@smlnj-gforge.cs.uchicago.edu | ViewVC Help |
| Powered by ViewVC 1.0.0 |
