[hcoop/zz_old/portal.git] / listaddrs / Makefile

listaddrs.x86-linux: listaddrs.sml sources.cm
	/usr/local/sml/bin/ml-build sources.cm Main.main listaddrs
Commit	Line	Data
fd650826	1	listaddrs.x86-linux: listaddrs.sml sources.cm
fd650826	2	/usr/local/sml/bin/ml-build sources.cm Main.main listaddrs