configure: Make it possible to override ostype presets with values specified later...
authorMatthew Wild <mwild1@gmail.com>
Tue, 13 Jul 2010 07:59:00 +0000 (08:59 +0100)
committerMatthew Wild <mwild1@gmail.com>
Tue, 13 Jul 2010 07:59:00 +0000 (08:59 +0100)
commit7beeddf1624373bfb3d43beffc262c62d52a6474
tree10b316e8ec4afc8909e35966433a4482e3c28b25
parent605f39796a8d560efe860dbc2cdfaeb986cc88dd
configure: Make it possible to override ostype presets with values specified later on the command-line
configure