diff --git a/extensions/GNUmakefile.in b/extensions/GNUmakefile.in index 03c02f1..44f11da 100644 --- a/extensions/GNUmakefile.in +++ b/extensions/GNUmakefile.in @@ -2,8 +2,8 @@ top_srcdir := @top_srcdir@ srcdir := @srcdir@ -abstop_srcdir := $(shell readlink -e ${top_srcdir}) -abssrcdir := $(shell readlink -e ${srcdir}) +abstop_srcdir := $(shell readlink -f ${top_srcdir}) +abssrcdir := $(shell readlink -f ${srcdir}) ifeq (${abstop_srcdir},) $(error Path resolution of ${top_srcdir} failed)