diff options
Diffstat (limited to 'src-release')
-rw-r--r-- | src-release | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src-release b/src-release index 1f87154..abaae7a 100644 --- a/src-release +++ b/src-release @@ -144,7 +144,7 @@ do-proto-toplev: $(DEVO_SUPPORT) $(SUPPORT_FILES) texinfo/texinfo.tex CC_FOR_TARGET="$(CC)" CXX_FOR_TARGET="$(CXX)" # Make links, and run "make diststuff" or "make info" when needed. rm -rf proto-toplev ; mkdir proto-toplev - set -e ; dirs="$(TOOL) $(DEVO_SUPPORT) $(SUPPORT_FILES)" ; \ + set -e ; dirs="$(DEVO_SUPPORT) $(SUPPORT_FILES) $(TOOL)" ; \ for d in $$dirs ; do \ if [ -d $$d ]; then \ if [ ! -f $$d/Makefile ] ; then true ; \ |