|
@@ -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)
|