summaryrefslogtreecommitdiff
path: root/runtime/ia32
diff options
context:
space:
mode:
authorGravatar xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>2013-04-23 09:20:37 +0000
committerGravatar xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>2013-04-23 09:20:37 +0000
commite1fc4beb37252b6248c0e0ca4cf5ec00a45190bf (patch)
tree7b7daa8813a9dafef6597fcfc59b80c8397daecb /runtime/ia32
parent4d78351d21f8a52c4b64313354f24dd534205256 (diff)
Missing GLOB
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2215 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'runtime/ia32')
-rw-r--r--runtime/ia32/i64_udiv.S2
1 files changed, 1 insertions, 1 deletions
diff --git a/runtime/ia32/i64_udiv.S b/runtime/ia32/i64_udiv.S
index 6de5d37..7530543 100644
--- a/runtime/ia32/i64_udiv.S
+++ b/runtime/ia32/i64_udiv.S
@@ -42,7 +42,7 @@ FUNCTION(__i64_udiv)
pushl %ebp
pushl %esi
pushl %edi
- call __i64_udivmod
+ call GLOB(__i64_udivmod)
movl %esi, %eax
movl %edi, %edx
popl %edi