about summary refs log tree commit diff
path: root/dev-shell
diff options
context:
space:
mode:
authorEelco Dolstra <eelco.dolstra@logicblox.com>2014-09-17T15·07+0200
committerEelco Dolstra <eelco.dolstra@logicblox.com>2014-09-17T15·07+0200
commit5a05cf4063fc6ea666f3e24c60bd2e9e5526ef4e (patch)
tree6fd1fa6286e9b7c29d713ec125d38dd27944f8f8 /dev-shell
parent6e5b02bee4c117863f11e4697da9e4f55b81e52d (diff)
Add Make flag to disable optimization
Diffstat (limited to 'dev-shell')
0 files changed, 0 insertions, 0 deletions