commit | 87d1583ddaf37f6064cd3dd288eea1240107fb65 | [log] [tgz] |
---|---|---|
author | Christopher Li <sparse@chrisli.org> | Sun Aug 13 07:29:42 2017 -0400 |
committer | Christopher Li <sparse@chrisli.org> | Sun Aug 13 14:20:51 2017 -0400 |
tree | 6cc33a10c55b8fd31cdd69cc3eab7cba1e07a41c | |
parent | dc3e12f15d5369d0d560fa7b3b4492e14b8d97ca [diff] |
Makefile: Adding OPT variable for optmize level So that some one can do "make OPT=0" for compiling sparse with -O0. Signed-off-by: Christopher Li <sparse@chrisli.org>