fix wrong option name in configure.in
tree24e347c95bf0c3d85f84553b9c8591605cb576a0
-rw-r--r-- 35147 COPYING
drwxr-xr-x - incoming
-rwxr-xr-x 1150 mktar.pl
drwxr-xr-x - patches
drwxr-xr-x - src