From 3bd3e5edfebadb1984bf5b3a21033e30413d0249 Mon Sep 17 00:00:00 2001
From: "Jan (janneke) Nieuwenhuizen" <janneke@gnu.org>
Date: Tue, 29 Dec 2020 17:09:35 +0100
Subject: [PATCH] mescc: Mes C Library: div.c: Use only for ARM.

* build-aux/configure-lib.sh (libmescc_SOURCES): Remove div.c unless
ARM.
---
 build-aux/configure-lib.sh | 5 +++++
 1 file changed, 5 insertions(+)

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