diff options
Diffstat (limited to 'os/utils.c')
| -rw-r--r-- | os/utils.c | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/os/utils.c b/os/utils.c index b15700f85..6bf862497 100644 --- a/os/utils.c +++ b/os/utils.c @@ -271,10 +271,6 @@ long Memory_fail = 0; #include <stdlib.h> /* for random() */ #endif -#ifdef sgi -int userdefinedfontpath = 0; -#endif /* sgi */ - char *dev_tty_from_init = NULL; /* since we need to parse it anyway */ OsSigHandlerPtr @@ -843,9 +839,6 @@ ProcessCommandLine(int argc, char *argv[]) { if(++i < argc) { -#ifdef sgi - userdefinedfontpath = 1; -#endif /* sgi */ defaultFontPath = argv[i]; } else |