Split debugging and profiling mode.
authorKim Nguyễn <kn@lri.fr>
Thu, 29 Mar 2012 12:04:34 +0000 (14:04 +0200)
committerKim Nguyễn <kn@lri.fr>
Thu, 29 Mar 2012 12:04:34 +0000 (14:04 +0200)
commit03125db103d98200f7a313a38db54c56748283d1
tree6a35edff9b6accfd56737a87614725e192073947
parent883743aa4d19900d312bd186df810a68ecd71cf8
Split debugging and profiling mode.
Makefile