- #define wxWait4(pid, stat, flags, rusage) wait4(pid, stat, flags, rusage)
-#elif defined(__sgi) || defined(__HPUX__)
- // no wait4() at all on these systems
- // TODO verify whether wait3() really works in this situation
- #define wxWait4(pid, stat, flags, rusage) wait3(stat, flags, rusage)
-#else
- // other Unices: assume have wait4(), although it's not standard (but
- // Linux and FreeBSD do have it)
- #define wxWait4(pid, stat, flags, rusage) wait4(pid, stat, flags, rusage)
-#endif // wait4()
-
-//------------------------------------------------------------------------
-// misc.
-//------------------------------------------------------------------------
-
-void wxBell(void)
-{
- gdk_beep();
-}
-
-void wxSleep(int nSecs)
-{
- sleep(nSecs);
-}
-
-int wxKill(long pid, int sig)
-{
- return kill(pid, sig);
-}
-
-void wxDisplaySize( int *width, int *height )
-{
- if (width) *width = gdk_screen_width();
- if (height) *height = gdk_screen_height();
-}