diff configure.in @ 14455:1ce19c0594b1

(compilation-filter): Run compilation-filter-hook.
author Richard M. Stallman <rms@gnu.org>
date Thu, 01 Feb 1996 07:22:14 +0000
parents 1999513cc3b2
children 4deac8b4941c
line wrap: on
line diff