FIX #2257: timer_settime() hangs during configure
[ghc-hetmet.git] / mk / custom-settings.mk
2007-09-18 Ian LynaghInclude build.mk or validate{,-settings}.mk through...