change default cmake build directory to 'build', after I figured out how to make...
authorRalf Jung <post@ralfj.de>
Mon, 6 Aug 2012 13:48:55 +0000 (15:48 +0200)
committerRalf Jung <post@ralfj.de>
Mon, 6 Aug 2012 13:48:55 +0000 (15:48 +0200)
commite82d2ebfa5c26c1e60a334c9f048cf9661f019f5
treed6cbafbc21328ee729160db4a488b4406bf835f7
parent2d5040e26f7bf6b480e45f368794375495e2582c
change default cmake build directory to 'build', after I figured out how to make the makefile target phony
auto_debuild.py