diff options
Diffstat (limited to 'lang/sml-nj/files/extra-patch-global-names')
| -rw-r--r-- | lang/sml-nj/files/extra-patch-global-names | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/lang/sml-nj/files/extra-patch-global-names b/lang/sml-nj/files/extra-patch-global-names new file mode 100644 index 000000000000..85d10136ce40 --- /dev/null +++ b/lang/sml-nj/files/extra-patch-global-names @@ -0,0 +1,11 @@ +--- src/runtime/include/asm-base.h-- Thu Aug 6 13:40:30 1998 ++++ src/runtime/include/asm-base.h Mon Feb 1 15:33:00 1999 +@@ -16,7 +16,7 @@ + #define FALSE 0 + #define TRUE 1 + +-#if (!defined(GLOBALS_HAVE_UNDERSCORE)) && (defined(OPSYS_SUNOS) || defined(OPSYS_FREEBSD) || defined(OPSYS_NETBSD) || defined(OPSYS_NEXTSTEP) || defined(OPSYS_WIN32)) ++#if (!defined(GLOBALS_HAVE_UNDERSCORE)) && (defined(OPSYS_SUNOS) || (defined(OPSYS_FREEBSD) && !defined(__ELF__)) || defined(OPSYS_NETBSD) || defined(OPSYS_NEXTSTEP) || defined(OPSYS_WIN32)) + # define GLOBALS_HAVE_UNDERSCORE + #endif + |