commit | f6a5cf590ccc7cd7f0d1f0658e86f77e947eb0e8 | [log] [tgz] |
---|---|---|
author | Christopher Li <sparse@chrisli.org> | Sun Aug 13 07:29:42 2017 -0400 |
committer | Christopher Li <sparse@chrisli.org> | Tue Aug 22 00:58:49 2017 -0400 |
tree | ba0068013fb4fcf3afa010c1af46ffcc27a935fd | |
parent | 638356489de2867980df509e5aafe234a11a5c11 [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>