diff options
| -rw-r--r-- | asmcomp/hppa/emit.mlp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/asmcomp/hppa/emit.mlp b/asmcomp/hppa/emit.mlp index 76de7a6d4..58dbdb406 100644 --- a/asmcomp/hppa/emit.mlp +++ b/asmcomp/hppa/emit.mlp @@ -1008,7 +1008,8 @@ let emit_item = function | Cfloat f -> ` .double {emit_string f}\n` | Csymbol_address s -> - use_symbol s; + if hpux && String.length s >= 5 && String.sub s 0 5 = "caml_" then + ` .import {emit_symbol s}, code\n`; ` .long {emit_symbol s}\n` | Clabel_address lbl -> ` .long {emit_label(lbl + 100000)}\n` |