diff options
author | John MacFarlane <jgm@berkeley.edu> | 2015-01-28 14:26:06 -0800 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2015-01-28 14:26:06 -0800 |
commit | 82d7fd56a60ba7ca1172fd66456451bb75bddee8 (patch) | |
tree | fc932949240308e3cc9015879ba9a24ce65939e0 /Makefile | |
parent | c6aa2139eb2c62fc80f94d237aeb4847f7cd395e (diff) |
Added Profile build type, 'make prof' target.
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -47,6 +47,12 @@ debug: cmake .. -DCMAKE_BUILD_TYPE=Debug; \ make +prof: + mkdir -p $(BUILDDIR); \ + cd $(BUILDDIR); \ + cmake .. -DCMAKE_BUILD_TYPE=Profile; \ + make + mingw: mkdir -p $(MINGW_BUILDDIR); \ cd $(MINGW_BUILDDIR); \ |