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

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

1 files changed, 0 insertions, 7 deletions

diff --git a/src/ptx.c b/src/ptx.c
index 9998395c2..a39cafff0 100644
--- 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.  */