Merge pull request #15 from hjmjohnson/PreventBadBuildConfigs
authorjulielangou <julie@cs.utk.edu>
Fri, 29 Jul 2016 04:31:03 +0000 (21:31 -0700)
committerGitHub <noreply@github.com>
Fri, 29 Jul 2016 04:31:03 +0000 (21:31 -0700)
Prevent bad build configs


Trivial merge