diff options
author | Morgan Deters <mdeters@gmail.com> | 2009-12-17 19:12:43 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2009-12-17 19:12:43 +0000 |
commit | 1dfb57de029dbef0b5d05561891f841b5ba87291 (patch) | |
tree | af5e68857b43c84a175dc3f5c692bc38213821cb /Makefile.subdir | |
parent | d4e7b9cce6947498738bd3cfb67c11e3bf6c8dbe (diff) |
coding standard fix on SmtEngine; fix recursive make
Diffstat (limited to 'Makefile.subdir')
-rw-r--r-- | Makefile.subdir | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Makefile.subdir b/Makefile.subdir index da450345b..590b3ea4e 100644 --- a/Makefile.subdir +++ b/Makefile.subdir @@ -1,7 +1,8 @@ +# -*-makefile-*- include $(topdir)/builds/current builddir = $(topdir)/builds/$(CURRENT_BUILD)/$(srcdir) -.PHONY: _default_build_ +.PHONY: _default_build_ all _default_build_: all %: @if test -e $(builddir); then \ |