diff --git a/build-aux/configure-lib.sh b/build-aux/configure-lib.sh
index d7c1601d..0c122b50 100644
--- a/build-aux/configure-lib.sh
+++ b/build-aux/configure-lib.sh
@@ -81,8 +81,13 @@ fi
 libmescc_SOURCES="
 lib/mes/globals.c
 lib/linux/$mes_cpu-mes-$compiler/syscall-internal.c
+"
+
+if test $mes_cpu = arm; then
+    libmescc_SOURCES="$libmescc_SOURCES
 lib/mes/div.c
 "
+fi
 
 libmes_SOURCES="
 $libc_mini_shared_SOURCES