Allow for machine-dependent options
This commit is contained in:
parent
b2cca56e16
commit
0571a16bcb
2 changed files with 12 additions and 0 deletions
|
@ -3,6 +3,7 @@ static char rcsid[] = "$Header$";
|
||||||
#endif
|
#endif
|
||||||
|
|
||||||
#include "param.h"
|
#include "param.h"
|
||||||
|
#include "mach.h"
|
||||||
|
|
||||||
/*
|
/*
|
||||||
* (c) copyright 1987 by the Vrije Universiteit, Amsterdam, The Netherlands.
|
* (c) copyright 1987 by the Vrije Universiteit, Amsterdam, The Netherlands.
|
||||||
|
@ -49,7 +50,12 @@ main(argc,argv) char **argv; {
|
||||||
cc4 /= n;
|
cc4 /= n;
|
||||||
break;
|
break;
|
||||||
default:
|
default:
|
||||||
|
#ifdef MACH_OPTIONS
|
||||||
|
mach_option(argv[0]);
|
||||||
|
#else
|
||||||
error("Unknown flag %c",argv[0][1]);
|
error("Unknown flag %c",argv[0][1]);
|
||||||
|
#endif
|
||||||
|
break;
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
if (argc < 1 || argc > 2)
|
if (argc < 1 || argc > 2)
|
||||||
|
|
|
@ -4,6 +4,7 @@ static char rcsid[] = "$Header$";
|
||||||
|
|
||||||
#include "param.h"
|
#include "param.h"
|
||||||
#include "tables.h"
|
#include "tables.h"
|
||||||
|
#include "mach.h"
|
||||||
|
|
||||||
/*
|
/*
|
||||||
* (c) copyright 1987 by the Vrije Universiteit, Amsterdam, The Netherlands.
|
* (c) copyright 1987 by the Vrije Universiteit, Amsterdam, The Netherlands.
|
||||||
|
@ -64,7 +65,12 @@ main(argc,argv) char **argv; {
|
||||||
cc4 /= n;
|
cc4 /= n;
|
||||||
break;
|
break;
|
||||||
default:
|
default:
|
||||||
|
#ifdef MACH_OPTIONS
|
||||||
|
mach_option(argv[0]);
|
||||||
|
#else
|
||||||
error("Unknown flag %c",argv[0][1]);
|
error("Unknown flag %c",argv[0][1]);
|
||||||
|
#endif
|
||||||
|
break;
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
if (argc > 2)
|
if (argc > 2)
|
||||||
|
|
Loading…
Reference in a new issue