FIX #1784: EM_AMD64 and EM_X86_64 might both be defined to the same value

diff --git a/rts/Linker.c b/rts/Linker.c
index e86efd3..65a7e22 100644 (file)
--- a/rts/Linker.c
+++ b/rts/Linker.c
@@ -2904,8 +2904,7 @@ ocVerifyImage_ELF ( ObjectCode* oc )
       case EM_PPC:   IF_DEBUG(linker,debugBelch( "powerpc32" )); break;
 #ifdef EM_X86_64
       case EM_X86_64: IF_DEBUG(linker,debugBelch( "x86_64" )); break;
-#endif
-#ifdef EM_AMD64
+#elif defined(EM_AMD64)
       case EM_AMD64: IF_DEBUG(linker,debugBelch( "amd64" )); break;
 #endif
       default:       IF_DEBUG(linker,debugBelch( "unknown" ));