Don't call exit_control() if we didn't do init_control().
-rw-r--r-- 876 AUTHORS
-rw-r--r-- 15472 COPYING
-rw-r--r-- 640 COPYING.README
-rw-r--r-- 522 Makefile.am
-rw-r--r-- 17422 NEWS
-rw-r--r-- 5503 README
-rw-r--r-- 602 README.git
-rw-r--r-- 861 THANKS
-rw-r--r-- 5472 configure.in
drwxr-xr-x - doc
drwxr-xr-x - gui
-rw-r--r-- 3597 have.h
drwxr-xr-x - m4
drwxr-xr-x - po
drwxr-xr-x - src
-rw-r--r-- 1229 system.h