From 8e0346af533a9feebe889a28b2a7ab55c0f97706 Mon Sep 17 00:00:00 2001 From: Wilf Wilson Date: Wed, 24 Jan 2018 14:56:47 +0000 Subject: [PATCH] Makefile: use cp -RL --- Makefile.am | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile.am b/Makefile.am index b69a27a4b..016da719c 100644 --- a/Makefile.am +++ b/Makefile.am @@ -32,7 +32,7 @@ endif all-local: semigroups.la $(mkdir_p) $(top_srcdir)/$(BINARCHDIR) $(top_srcdir)/bin/lib - cp -R src/libsemigroups/.libs/* $(top_srcdir)/bin/lib/ + cp -RL src/libsemigroups/.libs/* $(top_srcdir)/bin/lib/ if SYS_IS_CYGWIN cp .libs/semigroups.dll $(GAPINSTALLLIB) else