Recognize --with-headers flag and determine commandline options to be used
authordrepper <drepper>
Tue, 7 Apr 1998 18:02:33 +0000 (18:02 +0000)
committerdrepper <drepper>
Tue, 7 Apr 1998 18:02:33 +0000 (18:02 +0000)
commite946b1ff9ed5af2bd7aad96157b9501905ec6efd
tree320d158e8ccb987e89abc0c6f61b8605dacf7753
parent26c4d0ba53c7d516a35a396fff9a64282fc7a0e4
Recognize --with-headers flag and determine commandline options to be used
in compilation.
configure.in