diff options
Diffstat (limited to 'support/chklref/Makefile')
-rw-r--r-- | support/chklref/Makefile | 35 |
1 files changed, 0 insertions, 35 deletions
diff --git a/support/chklref/Makefile b/support/chklref/Makefile deleted file mode 100644 index c7719832bd..0000000000 --- a/support/chklref/Makefile +++ /dev/null @@ -1,35 +0,0 @@ -.PHONY: all install clean archive distclean doc - -all: - $(MAKE) -C src all - $(MAKE) -C doc all - -doc: - $(MAKE) -C doc - -install: - $(MAKE) -C src install - $(MAKE) -C doc install - -uninstall: - $(MAKE) -C src uninstall - $(MAKE) -C doc uninstall - -clean: - $(MAKE) -C src clean - $(MAKE) -C doc clean - -distclean: - $(MAKE) -C src distclean - $(MAKE) -C doc distclean - -VERSION=$(shell cat VERSION) - -archive: - $(RM) -r chklref-$(VERSION) - mkdir -p chklref-$(VERSION) - $(RM) chklref-$(VERSION).tar.gz - git archive master | tar -x -C chklref-$(VERSION) - tar czf chklref-$(VERSION).tar.gz chklref-$(VERSION) - $(RM) -r chklref-$(VERSION) - |