--with-production must also turn off Record/replay overhead
authorFilippo Gioachin <gioachin@uiuc.edu>
Fri, 12 Feb 2010 02:31:49 +0000 (20:31 -0600)
committerFilippo Gioachin <gioachin@uiuc.edu>
Fri, 12 Feb 2010 02:31:49 +0000 (20:31 -0600)
commit09559891b484adc654415cbc232cccd03789550f
treea2d97961fcf334c4ae8f83dec19c45a4a9cebd16
parent219966b47b522ff70c6d7c2d71f9c2b8dd137309
--with-production must also turn off Record/replay overhead
build