diff --git a/gcc/config/alpha/alpha.c b/gcc/config/alpha/alpha.c
index abe0e16b823..da8d1b6ea56 100644
--- a/gcc/config/alpha/alpha.c
+++ b/gcc/config/alpha/alpha.c
@@ -1418,7 +1418,7 @@ direct_return ()
 /* Write a version stamp.  Don't write anything if we are running as a
    cross-compiler.  Otherwise, use the versions in /usr/include/stamp.h.  */
 
-#if !defined(CROSS_COMPILE) && !defined(_WIN32)
+#if !defined(CROSS_COMPILE) && !defined(_WIN32) && !deinfed(__linux__)
 #include <stamp.h>
 #endif