fix filter to generate GRT_EXTRA_LIB on arm-linux-gnueabihf

ghdl · Oct 11, 2018 · 43c96a7 · 43c96a7
1 parent 1cbe9b8
commit 43c96a7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/grt/Makefile.inc b/src/grt/Makefile.inc
@@ -52,7 +52,7 @@ ifeq ($(filter-out mingw32 mingw64,$(osys)),)
   GRT_EXTRA_LIB=-ldbghelp
 else
   GRT_TARGET_OBJS=jumps.o times.o
-  ifeq ($(filter-out linux,$(osys)),)
+  ifeq ($(filter-out linux%,$(osys)),)
     GRT_EXTRA_LIB=-ldl -lm $(GRT_ELF_OPTS)
   endif
   ifeq ($(filter-out netbsd freebsd% dragonfly%,$(osys)),)