Make makefile a little more robust - Githubissues

uwplse / herbgrind

A Valgrind tool for Herbie

GNU General Public License v3.0

90 stars 7 forks source link

Make makefile a little more robust #25

Closed HazardousPeach closed 6 years ago