driver: Ignore -P flag

We don't emit any #line directives, so nothing needs to be done to handle
this flag.

1 files changed, 3 insertions, 0 deletions

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;