diff options
| author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2021-01-18 19:56:44 +0100 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2021-01-18 19:56:44 +0100 |
| commit | ab62e1bed37d2efe4d2a9e0139839bae21b1cdd9 (patch) | |
| tree | 73a122d74b0493fa1f95e82b478a749b3e6595fb /runtime | |
| parent | 0a39cdab7f7ad8dc73339d17563a85d6f57f1710 (diff) | |
| download | compcert-kvx-ab62e1bed37d2efe4d2a9e0139839bae21b1cdd9.tar.gz compcert-kvx-ab62e1bed37d2efe4d2a9e0139839bae21b1cdd9.zip | |
"macosx" is now called "macos"
The configure script still accepts "macosx" for backward compatibility,
but every other part of CompCert now uses "macos".
Diffstat (limited to 'runtime')
| -rw-r--r-- | runtime/aarch64/sysdeps.h | 2 | ||||
| -rw-r--r-- | runtime/x86_32/sysdeps.h | 2 | ||||
| -rw-r--r-- | runtime/x86_64/sysdeps.h | 2 | ||||
| -rw-r--r-- | runtime/x86_64/vararg.S | 2 |
4 files changed, 4 insertions, 4 deletions
diff --git a/runtime/aarch64/sysdeps.h b/runtime/aarch64/sysdeps.h index e688961a..b098cf1c 100644 --- a/runtime/aarch64/sysdeps.h +++ b/runtime/aarch64/sysdeps.h @@ -34,7 +34,7 @@ // System dependencies -#if defined(SYS_macosx) +#if defined(SYS_macos) #define GLOB(x) _##x diff --git a/runtime/x86_32/sysdeps.h b/runtime/x86_32/sysdeps.h index 9d957a88..973bbe2f 100644 --- a/runtime/x86_32/sysdeps.h +++ b/runtime/x86_32/sysdeps.h @@ -48,7 +48,7 @@ f: #endif -#if defined(SYS_macosx) +#if defined(SYS_macos) #define GLOB(x) _##x #define FUNCTION(f) \ diff --git a/runtime/x86_64/sysdeps.h b/runtime/x86_64/sysdeps.h index aacef8f0..9031d5d0 100644 --- a/runtime/x86_64/sysdeps.h +++ b/runtime/x86_64/sysdeps.h @@ -48,7 +48,7 @@ f: #endif -#if defined(SYS_macosx) +#if defined(SYS_macos) #define GLOB(x) _##x #define FUNCTION(f) \ 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; |