diff options
| author | 1138-4EB <1138-4EB@users.noreply.github.com> | 2018-10-11 00:34:10 +0100 |
|---|---|---|
| committer | tgingold <tgingold@users.noreply.github.com> | 2018-10-11 06:24:23 +0200 |
| commit | 43c96a71ddfb17443cc1bbf40833c821e70d07b5 (patch) | |
| tree | 693949307b05c4ee1784c20712a465b762ed93ae | |
| parent | 1cbe9b82221a2da874ab2b12463b42eee5cfaaa7 (diff) | |
| download | ghdl-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.inc | 2 |
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)),) |