From 0571a16bcba636395d38dab565ab37f919e0eb8f Mon Sep 17 00:00:00 2001
From: ceriel <none@none>
Date: Fri, 27 Mar 1992 17:38:54 +0000
Subject: [PATCH] Allow for machine-dependent options

---
 mach/proto/cg/main.c  | 6 ++++++
 mach/proto/ncg/main.c | 6 ++++++
 2 files changed, 12 insertions(+)

diff --git a/mach/proto/cg/main.c b/mach/proto/cg/main.c
index 48bd57ccf..6bfcda23e 100644
--- a/mach/proto/cg/main.c
+++ b/mach/proto/cg/main.c
@@ -3,6 +3,7 @@ static char rcsid[] = "$Header$";
 #endif
 
 #include "param.h"
+#include "mach.h"
 
 /*
  * (c) copyright 1987 by the Vrije Universiteit, Amsterdam, The Netherlands.
@@ -49,7 +50,12 @@ main(argc,argv) char **argv; {
 			cc4 /= n;
 			break;
 		default:
+#ifdef MACH_OPTIONS
+			mach_option(argv[0]);
+#else
 			error("Unknown flag %c",argv[0][1]);
+#endif
+			break;
 		}
 	}
 	if (argc < 1 || argc > 2)
diff --git a/mach/proto/ncg/main.c b/mach/proto/ncg/main.c
index 8a8e2a165..2efedef2e 100644
--- a/mach/proto/ncg/main.c
+++ b/mach/proto/ncg/main.c
@@ -4,6 +4,7 @@ static char rcsid[] = "$Header$";
 
 #include "param.h"
 #include "tables.h"
+#include "mach.h"
 
 /*
  * (c) copyright 1987 by the Vrije Universiteit, Amsterdam, The Netherlands.
@@ -64,7 +65,12 @@ main(argc,argv) char **argv; {
 			cc4 /= n;
 			break;
 		default:
+#ifdef MACH_OPTIONS
+			mach_option(argv[0]);
+#else
 			error("Unknown flag %c",argv[0][1]);
+#endif
+			break;
 		}
 	}
 	if (argc > 2)
-- 
2.34.1