diff --git a/build/top.mk b/build/top.mk index 935728b547..280befc846 100644 --- a/build/top.mk +++ b/build/top.mk @@ -118,7 +118,7 @@ DATE = date HOSTNAME = $(SHTOOL) echo -e "%h%d" LN = $(SHTOOL) mkln LN_H = $(SHTOOL) mkln -f -LN_S = $(SHTOOL) mkln -f -s +LN_S = @LN_S@ MAKEINFO = @MAKEINFO@ MKDIR = $(SHTOOL) mkdir -p MV = mv