Random fixin's in preparation for accepting new members

[hcoop/portal.git] / listaddrs / Makefile

listaddrs.x86-linux: listaddrs.sml sources.cm
	/usr/local/sml/bin/ml-build sources.cm Main.main listaddrs