diff options
| author | Lou Berger <lberger@labn.net> | 2018-10-27 14:14:35 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-10-27 14:14:35 -0400 |
| commit | 75082dafb5a929b99d89c8f55e6b2da3f4d90100 (patch) | |
| tree | 02fdeea587929091bddc451438bf99f528923cb8 /Makefile.am | |
| parent | a755ec5e500dde4a7258145900fcba25e9aff448 (diff) | |
| parent | 0b9013e44d4600713fb4471c1730656f8a3eb094 (diff) | |
Merge pull request #3235 from opensourcerouting/buildfoo-20181024
build: potpourri
Diffstat (limited to 'Makefile.am')
| -rw-r--r-- | Makefile.am | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/Makefile.am b/Makefile.am index 474f8ab5b5..025afa5652 100644 --- a/Makefile.am +++ b/Makefile.am @@ -82,6 +82,7 @@ var-%: EXTRA_DIST = BUILT_SOURCES = CLEANFILES = +DISTCLEANFILES = examplesdir = $(exampledir) @@ -161,6 +162,7 @@ EXTRA_DIST += \ README.md \ m4/README.txt \ m4/libtool-whole-archive.patch \ + config.version \ \ python/clidef.py \ python/clippy/__init__.py \ @@ -215,6 +217,15 @@ EXTRA_DIST += \ noinst_HEADERS += defaults.h +clean-local: clean-python +.PHONY: clean-python +clean-python: + find -name __pycache__ -o -name .pytest_cache | xargs rm -rf + find -name "*.pyc" -o -name "*_clippy.c" | xargs rm -f + +redistclean: + $(MAKE) distclean CONFIG_CLEAN_FILES="$(filter-out $(EXTRA_DIST), $(CONFIG_CLEAN_FILES))" + indent: tools/indent.py `find sharpd bgpd eigrpd include isisd lib nhrpd ospf6d ospfd pimd qpb ripd vtysh zebra -name '*.[ch]' | grep -v include/linux` |