driver: Ignore -pipe flag

1 files changed, 2 insertions, 0 deletions

diff --git a/driver.c b/driver.c
index 01f2225..fee1954 100644
--- a/driver.c
+++ b/driver.c
@@ -334,6 +334,8 @@ main(int argc, char *argv[])
 				usage();
 			arrayaddptr(&phases[PREPROCESS].cmd, "-include");
 			arrayaddptr(&phases[PREPROCESS].cmd, arg);
+		} else if (strcmp(arg, "-pipe") == 0) {
+			/* ignore */
 		} else {
 			if (arg[2] != '\0' && strchr("cESs", arg[1]))
 				usage();