Update for the new configure usage.
authoryamaoka <yamaoka>
Mon, 26 Jul 1999 12:53:46 +0000 (12:53 +0000)
committeryamaoka <yamaoka>
Mon, 26 Jul 1999 12:53:46 +0000 (12:53 +0000)
commit4efa00d72a821fafe9136e6b8db5b96b9f976b11
tree5aee4f086797131ee049c179aa7c80ebcb46ea89
parentb7769b79e8b870d476ab8ade012f5cc95cc3fd03
Update for the new configure usage.
Mule23@1934