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

Parent Directory | Revision Log | 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

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

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