Add another environment variable to untaint
treeb49cb441e45a92a1bba2ad9e2567e522838ce268
-rw-r--r-- 300 .cil
-rw-r--r-- 18 .gitignore
-rw-r--r-- 35068 COPYING
-rw-r--r-- 1099 Changes
-rw-r--r-- 389 INSTALL
-rw-r--r-- 314 Makefile
-rw-r--r-- 39 Manifest
-rw-r--r-- 2369 README
-rw-r--r-- 430 RELEASING
-rw-r--r-- 1285 TESTING
drwxr-xr-x - issues
-rwxr-xr-x 5956 safe-rm