diff options
| -rw-r--r-- | core/makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/core/makefile b/core/makefile index 68a6c3274..1c0588a62 100644 --- a/core/makefile +++ b/core/makefile @@ -269,8 +269,8 @@ base_LIBNAMES := ws2_32 endif ifeq ($(PLAT),linux) -base_LIBPATH := $(shell find "/usr" -name libreadline.a | grep ".*/" -o) -base_LIBNAMES := $(shell find "/usr" -name libreadline.a | grep readline -o) m dl pthread +base_LIBPATH := $(shell find "/usr/lib" -name libreadline.so | grep ".*/" -o) +base_LIBNAMES := $(shell find "/usr/lib" -name libreadline.so | grep readline -o) m dl pthread endif # check jit compiler |