#if defined( sgi )
#include <sys/fpu.h>
#include <sys/sysmp.h>
+#include <unistd.h>
/*
* set the special "flush zero" bit (FS, bit 24) in the Control Status
if (_bootstrap_OSInit != 0)
fgSetMouseCursor(MOUSE_CURSOR_POINTER);
- if (globals)
- delete globals;
+ delete globals;
}