Index: src/platform.h |
diff --git a/src/platform.h b/src/platform.h |
index 7156441b3a6b3262c0946963662222dd27e2a1ce..606e5b46e6c8238ab1654f126c28b6cc54687033 100644 |
--- a/src/platform.h |
+++ b/src/platform.h |
@@ -83,6 +83,14 @@ int random(); |
#endif // WIN32 |
+ |
+#ifdef __sun |
+# ifndef signbit |
+int signbit(double x); |
+# endif |
+#endif |
+ |
+ |
// GCC specific stuff |
#ifdef __GNUC__ |