(main) [DEFAULT_IGNORE_FILE]: Remove code to use a default

ignore file.  This has never been enabled.  Reported by Eric Blake.

diff --git a/src/ptx.c b/src/ptx.c
index 9998395c2902f017c5cc3153fd0a09704b139f7d..a39cafff005e0cdc5409489805ad84c4ea89965b 100644 (file)
--- a/src/ptx.c
+++ b/src/ptx.c
@@ -2094,13 +2094,6 @@ the --copyright option is deprecated; use --version instead"));
        }
     }
 
-  /* Change the default Ignore file if one is defined.  */
-
-#ifdef DEFAULT_IGNORE_FILE
-  if (!ignore_file)
-    ignore_file = DEFAULT_IGNORE_FILE;
-#endif
-
   /* Process remaining arguments.  If GNU extensions are enabled, process
      all arguments as input parameters.  If disabled, accept at most two
      arguments, the second of which is an output parameter.  */