More useful error message when a package .hi file cannot be found:
[ghc.git] / push-all
2008-08-29  Ian Lynaghpush-all needs to skip repos, as we don't know how...
2008-08-25  Ian LynaghRead the packages file in strictly in darcs-all and...
2008-08-06  Max BolingbrokePrepare GHC for building with Git
2008-07-29  Ian LynaghMake the push-all script complain about bad lines
2008-07-24  Ian LynaghFollow darcs-all changes in push-all
2008-05-17  Ian LynaghTeach push-all how to send as well
2007-09-14  Ian LynaghRefer to "boot" libs, not "core" libs
2007-09-12  Ian LynaghGive push-all the ability to pull with a --pull flag
2007-08-02  Ian LynaghAdd a --ignore-failure flag to push-all script
2007-06-19  Ian LynaghAdd --core-only flag to push-all
2007-06-19  Ian LynaghAdd a push-all script