From 8691ccdccf8ea72f9af11b3891c511c303826831 Mon Sep 17 00:00:00 2001
From: Michael Forney <mforney@mforney.org>
Date: Fri, 5 Jul 2019 20:47:46 -0700
Subject: driver: Ignore -P flag

We don't emit any #line directives, so nothing needs to be done to handle
this flag.
---
 driver.c | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/driver.c b/driver.c
index b334f38..2c7a16c 100644
--- a/driver.c
+++ b/driver.c
@@ -468,6 +468,9 @@ main(int argc, char *argv[])
 			case 'o':
 				output = nextarg(&argv);
 				break;
+			case 'P':
+				/* ignore */
+				break;
 			case 'S':
 				last = CODEGEN;
 				break;
-- 
cgit v1.2.3