aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--contrib/flex/main.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/flex/main.c b/contrib/flex/main.c
index 43960da5a4c6..173e4d6cdf94 100644
--- a/contrib/flex/main.c
+++ b/contrib/flex/main.c
@@ -364,7 +364,7 @@ void check_options ()
output_chain = filter_create_int(NULL, filter_tee_header, headerfilename);
if ( !(m4 = getenv("M4")))
m4 = M4;
- filter_create_ext(output_chain, m4, "-P", 0);
+ filter_create_ext(output_chain, m4, "-gP", 0);
filter_create_int(output_chain, filter_fix_linedirs, NULL);
/* For debugging, only run the requested number of filters. */