diff configure.in @ 15231:afc59ce2842a

Set BUILD_TYPE and INSTALL_DIR before calling make; undo settings afterwards.
author Richard M. Stallman <rms@gnu.org>
date Mon, 13 May 1996 18:28:09 +0000
parents 3f2d133c05a8
children f7c5a03c6393
line wrap: on
line diff