Diff of /sml/trunk/src/cm/tools/tools.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 375	Line 375
375	val template = getOpt (template, "%c %s")	val template = getOpt (template, "%c %s")
376	fun rule { spec = (name, mkpath, _, oto), context, mkNativePath } = let	fun rule { spec = (name, mkpath, _, oto), context, mkNativePath } = let
377	val opts = getOpt (oto, dflopts)	val opts = getOpt (oto, dflopts)
378	val sol = let               (* only use STRING optios for %o *)	val sol = let               (* only use STRING options for %o *)
379	fun so (SUBOPTS _) = NONE	fun so (SUBOPTS _) = NONE
380	| so (STRING { name, mkpath }) =	| so (STRING { name, mkpath }) =
381	SOME (nativeSpec (mkpath name))	SOME (nativeSpec (mkpath name))

---

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