makefile tweak

This commit is contained in:
Joseph Henry
2016-07-07 14:50:47 -05:00
parent 41308ccf06
commit efce6da230
5 changed files with 17 additions and 4 deletions