richm%stanfordalumni.org f8ca9aa8da only link with svrcore if HAVE_SVRCORE is set		2006-04-19 03:03:54 +00:00
..
tools	only link with svrcore if HAVE_SVRCORE is set	2006-04-19 03:03:54 +00:00