diff options
Diffstat (limited to 'Makefile.in')
-rw-r--r-- | Makefile.in | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/Makefile.in b/Makefile.in index 801443d8..3599b2d6 100644 --- a/Makefile.in +++ b/Makefile.in @@ -1,5 +1,7 @@ # $Id$ +abs_top_builddir = @abs_top_builddir@ + SUBDIRS = @TOP_LEVEL_SUBDIRS@ default: all @@ -16,3 +18,11 @@ export: svn export http://subvert-rpki.hactrn.net/ tar czf subvert-rpki.hactrn.net-$$(date +%Y.%m.%d).tar.gz subvert-rpki.hactrn.net rm -rf subvert-rpki.hactrn.net + +installation-manifest: Makefile + cp /dev/null ${abs_top_builddir}/installation-manifest + @for i in ${SUBDIRS}; do echo "Making $@ in $$i"; (cd $$i && ${MAKE} installation-manifest); done + sort -u -o ${abs_top_builddir}/installation-manifest ${abs_top_builddir}/installation-manifest + +clean:: + rm -f installation-manifest |