-
Mike Hibler authored
The options (HAVE_* enviornment settings) have been there for awhile, I just found a way to set an environment variable from the makefile.
8bc3a3c3
The options (HAVE_* enviornment settings) have been there for awhile, I just found a way to set an environment variable from the makefile.