aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
author1138-4EB <1138-4EB@users.noreply.github.com>2018-10-11 00:34:10 +0100
committertgingold <tgingold@users.noreply.github.com>2018-10-11 06:24:23 +0200
commit43c96a71ddfb17443cc1bbf40833c821e70d07b5 (patch)
tree693949307b05c4ee1784c20712a465b762ed93ae
parent1cbe9b82221a2da874ab2b12463b42eee5cfaaa7 (diff)
downloadghdl-43c96a71ddfb17443cc1bbf40833c821e70d07b5.tar.gz
ghdl-43c96a71ddfb17443cc1bbf40833c821e70d07b5.tar.bz2
ghdl-43c96a71ddfb17443cc1bbf40833c821e70d07b5.zip
fix filter to generate GRT_EXTRA_LIB on arm-linux-gnueabihf
-rw-r--r--src/grt/Makefile.inc2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/grt/Makefile.inc b/src/grt/Makefile.inc
index da85ae014..70e7c8ca6 100644
--- 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)),)