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 | |
| parent | d4e7b9cce6947498738bd3cfb67c11e3bf6c8dbe (diff) | |
coding standard fix on SmtEngine; fix recursive make
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 17 |
1 files changed, 14 insertions, 3 deletions
@@ -1,4 +1,15 @@ -topdir = . -srcdir = . +builddir = builds -include Makefile.subdir +.PHONY: _default_build_ all +_default_build_: all +all %: + @if test -e $(builddir); then \ + echo cd $(builddir); \ + cd $(builddir); \ + echo $(MAKE) $@; \ + $(MAKE) $@; \ + else \ + echo; \ + echo 'Run configure first, or type "make" in a configured build directory.'; \ + echo; \ + fi |