aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/Makefile
diff options
authorLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2018-02-18 11:59:42 +0100
committerLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2018-02-24 10:49:15 +0100
commit08fff567c55a9cf8c3854389d2575afdca6d529e (patch)
tree2215f46d9419436ff54e044fc65ca227c7494fe8 /Makefile
parent2dca5d4a08f456320b525c56c211f2e084d766d5 (diff)
downloadsparse-dev-08fff567c55a9cf8c3854389d2575afdca6d529e.tar.gz
rename variable 'optimize' to 'optimize_level'
So that this action name can be used for a function. Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions