summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2015-01-28 14:26:06 -0800
committerJohn MacFarlane <jgm@berkeley.edu>2015-01-28 14:26:06 -0800
commit82d7fd56a60ba7ca1172fd66456451bb75bddee8 (patch)
treefc932949240308e3cc9015879ba9a24ce65939e0 /Makefile
parentc6aa2139eb2c62fc80f94d237aeb4847f7cd395e (diff)
Added Profile build type, 'make prof' target.
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile6
1 files changed, 6 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 90990b1..df99367 100644
--- a/Makefile
+++ b/Makefile
@@ -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); \