whether a build is newer or older than an other.\r
o Changed configuration element mipmapping_default_on to mipmapping-default-on\r
for consistency with the rest of the configuration (Jesper Stærkær).\r
+ o Handle stdin EOF as EXIT.\r
\r
Consumers\r
---------\r