cvs commit: hugs98/libraries/tools make_bootlib

[Ross Paterson]

ross        2005/03/04 04:52:07 PST

  Modified files:
    libraries/tools      make_bootlib 
  Log:
  look in the build tree for includes -- fixes breakage of builds on
  systems with an old installation of Hugs.
  
  Revision  Changes    Path
  1.2       +4 -4      hugs98/libraries/tools/make_bootlib