comparison make-dist @ 108120:080274726e38

* Makefile.in (LIBS_MACHINE): Remove, unused. * Makefile.in (LIBS_MACHINE): Remove all uses, unused. * configure.in (LIBS_MACHINE): Remove, unused.
author Dan Nicolaescu <dann@ics.uci.edu>
date Mon, 26 Apr 2010 11:14:24 -0700
parents 1d1d5d9bd884
children 2fb32340c261 43a1fb0eb2d8
comparison
equal deleted inserted replaced
108119:beeec356b30f 108120:080274726e38