cvs commit: hugs98/libraries/tools convert_libraries

[Ross Paterson]

ross        2005/07/19 16:24:21 PDT

  Modified files:
    libraries/tools      convert_libraries 
  Log:
  pass EXTRA_CONFIGURE_OPTS down to library packages with configure's.
  
  Revision  Changes    Path
  1.22      +8 -1      hugs98/libraries/tools/convert_libraries