comparison 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
comparison
equal deleted inserted replaced
15230:307b7c77a5e5 15231:afc59ce2842a