1 files changed, 0 insertions, 9 deletions
diff --git a/apps/crl.c b/apps/crl.c
index c9c3a5f6d1..6819faa5b9 100644
--- a/apps/crl.c
+++ b/apps/crl.c
@@ -152,15 +152,6 @@ int MAIN(int argc, char **argv)
     argv++;
     num = 0;
     while (argc >= 1) {
-#ifdef undef
-        if (strcmp(*argv, "-p") == 0) {
-            if (--argc < 1)
-                goto bad;
-            if (!args_from_file(++argv, Nargc, Nargv)) {
-                goto end;
-            }
-        */}
-#endif
         if (strcmp(*argv, "-inform") == 0) {
             if (--argc < 1)
                 goto bad;