From 6ba43e59163b71b0f6770db008d030d13ced2623 Mon Sep 17 00:00:00 2001
From: Michael Forney <mforney@mforney.org>
Date: Tue, 12 Feb 2019 15:34:03 -0800
Subject: driver: Ignore -pipe flag

---
 driver.c | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'driver.c')

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();
-- 
cgit v1.2.3