diff options
author | Morgan Deters <mdeters@gmail.com> | 2010-09-13 17:27:15 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2010-09-13 17:27:15 +0000 |
commit | 67f05d7dd6881c689c6e5385feff32d81ae05fb8 (patch) | |
tree | 68b97f5f2aba55accf576f8fb87313e840414aeb | |
parent | 0e18d60841c2a7cd5c079b6c0dacf5d61afb4835 (diff) |
link TAGS file into builds/ directory, when built. Resolves bug #195
-rw-r--r-- | Makefile.builds.in | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/Makefile.builds.in b/Makefile.builds.in index 3f5b93b03..83183e4a3 100644 --- a/Makefile.builds.in +++ b/Makefile.builds.in @@ -91,6 +91,12 @@ check test units regress: all regress%: all (cd $(CURRENT_BUILD)/test && $(MAKE) $@) +TAGS tags: + (cd $(CURRENT_BUILD) && $(MAKE) $@) + ln -sf $(CURRENT_BUILD)/TAGS . + +.PHONY: TAGS tags + # any other target than the default doesn't do the extra stuff above %: (cd $(CURRENT_BUILD) && $(MAKE) $@) |