diff options
-rw-r--r-- | Makefile.dist | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/Makefile.dist b/Makefile.dist index bdeac2ac..e51feb24 100644 --- a/Makefile.dist +++ b/Makefile.dist @@ -55,3 +55,9 @@ distclean: (cd $$dir; $(MAKE) distclean) || exit 1; \ done @rm -f Makefile + +links: + @for dir in ${SUBDIRS}; do \ + echo "Making links in $$dir"; \ + (cd $$dir; $(MAKE) links) || exit 1; \ + done |