Index: test-suite/trunk/MultiSource/Applications/minisat/Main.cpp
===================================================================
--- test-suite/trunk/MultiSource/Applications/minisat/Main.cpp
+++ test-suite/trunk/MultiSource/Applications/minisat/Main.cpp
@@ -76,7 +76,7 @@
 static inline uint64_t memUsed() { return 0; }
 #endif
 
-#if defined(__linux__)
+#if defined(__GLIBC__) && defined(__linux__)
 #include <fpu_control.h>
 #endif