From ab62e1bed37d2efe4d2a9e0139839bae21b1cdd9 Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@college-de-france.fr>
Date: Mon, 18 Jan 2021 19:56:44 +0100
Subject: "macosx" is now called "macos"

The configure script still accepts "macosx" for backward compatibility,
but every other part of CompCert now uses "macos".
---
 runtime/x86_64/vararg.S | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'runtime/x86_64/vararg.S')

diff --git a/runtime/x86_64/vararg.S b/runtime/x86_64/vararg.S
index c5225b34..d3634e4d 100644
--- a/runtime/x86_64/vararg.S
+++ b/runtime/x86_64/vararg.S
@@ -38,7 +38,7 @@
 
 // ELF ABI
 
-#if defined(SYS_linux) || defined(SYS_bsd) || defined(SYS_macosx)
+#if defined(SYS_linux) || defined(SYS_bsd) || defined(SYS_macos)
 
 // typedef struct {
 //    unsigned int gp_offset;
-- 
cgit