configure: protect is_set against exit-on-error
treecb3e10ea7fb3c19719fbee7fcd899c4418aca6e0
-rw-r--r-- 36 .gitignore
-rw-r--r-- 17996 COPYING
-rw-r--r-- 3333 ChangeLog
-rw-r--r-- 3236 Makefile
-rw-r--r-- 2186 README
-rw-r--r-- 2215 SECURITY
-rw-r--r-- 360 TODO
-rwxr-xr-x 9133 configure
drwxr-xr-x - man
drwxr-xr-x - modules
drwxr-xr-x - scripts
drwxr-xr-x - src