Damien Lespiau 168499742a Update shave
This update fixes a few issues:
  - the use of shave with mingw32 bash on windows,
  - fix the unmangling of libtool names
  - fix build on solaris
  - add an --enable/disable-shave configure option (while still
    defaulting to enabled)
2009-03-11 18:44:33 +00:00
..
2009-02-18 17:38:34 +00:00
2009-03-11 18:44:33 +00:00
2009-03-11 18:44:33 +00:00
2009-03-11 18:44:33 +00:00