diff options
| author | Daniel Stone <daniel@fooishbar.org> | 2006-08-12 21:50:52 +0300 |
|---|---|---|
| committer | Daniel Stone <daniels@endtroducing.fooishbar.org> | 2006-08-12 21:50:52 +0300 |
| commit | d6433be3cca807dd78fbb1f45d9ba0212283083d (patch) | |
| tree | b8353efcc51fed157620dd42ce75a6985b39ed0b /os | |
| parent | 2bf9e3dc1ec5fd7bf84a4a96899e5663a721d4a4 (diff) | |
| parent | 984babe86bf82002b4d6589b2750c7b5a5489bd5 (diff) | |
Merge branch 'master' into input-hotplug
Diffstat (limited to 'os')
| -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 |