* configure: Unknown options are fatal again.
authorDavid MacKenzie <djm@cygnus>
Sat, 9 Apr 1994 22:11:36 +0000 (22:11 +0000)
committerDavid MacKenzie <djm@cygnus>
Sat, 9 Apr 1994 22:11:36 +0000 (22:11 +0000)
commit35be712d11ae403253c8ae60d7d230a8e9c33b68
tree3a6e7e6cd0a7d0df90efd25596a3e469810f44ef
parent7b2b07585e66b1aff9ba8672cbf5fbb11413fc4d
* configure: Unknown options are fatal again.
ChangeLog