diff options
author | Tavian Barnes <tavianator@tavianator.com> | 2016-06-07 19:16:31 -0400 |
---|---|---|
committer | Tavian Barnes <tavianator@tavianator.com> | 2016-06-07 19:16:31 -0400 |
commit | cbb7cc9bf6d49ba922010f77c06cbea23f8e39de (patch) | |
tree | a450efc6b3aabda1ac3ec1bf93e0c4e6c2c774c7 /Makefile | |
parent | 8b55d62f4ec9739884e75feeba785014db71aca5 (diff) | |
download | bfs-cbb7cc9bf6d49ba922010f77c06cbea23f8e39de.tar.xz |
At -O3, replace command lines with no actions by -false.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions