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/cm/tools/shelltool.sml
ViewVC logotype

Diff of /sml/trunk/src/cm/tools/shelltool.sml

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

revision 594, Tue Apr 4 23:41:47 2000 UTC revision 595, Wed Apr 5 03:30:17 2000 UTC
# Line 47  Line 47 
47                              fun subst "%s" = sname                              fun subst "%s" = sname
48                                | subst "%t" = tname                                | subst "%t" = tname
49                                | subst "" = ""                                | subst "" = ""
50                                | subst s = if String.sub (s, 0) = #"%" then                                | subst s = if String.sub (s, 0) <> #"%" then s
51                                                String.extract (s, 1, NONE)                                            else String.extract (s, 1, NONE)
                                           else s  
52                              fun ad (x, l) = " " :: subst x :: l                              fun ad (x, l) = " " :: subst x :: l
53                              val cmdline =                              val cmdline =
54                                  case restoptions of                                  case restoptions of

Legend:
Removed from v.594  
changed lines
  Added in v.595

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