diff configure1.in @ 26131:d82f40019d74

(main): Enable profiling conditional on __linux also.
author Dave Love <fx@gnu.org>
date Fri, 22 Oct 1999 12:52:09 +0000
parents c1e70445780e
children
line wrap: on
line diff