| commit | c5cd419d0f712cd88c5b624c8f96b12808be1262 | |
| author | Marc Feeley <feeley@iro.umontreal.ca> | |
| Sun, 29 Jan 2012 21:53:58 +0000 (29 16:53 -0500) | ||
| committer | Marc Feeley <feeley@iro.umontreal.ca> | |
| Sun, 29 Jan 2012 21:53:58 +0000 (29 16:53 -0500) | ||
| tree | 62f3d739de0114c6252ea6a3fc613a63ac749043 | treesnapshot (tar.gz zip) |
| parent | 4404899383d59ea1db67a4c589d8c7bcd3a0b29d | commitdiff |
Fix configure script so that it correctly propagates the configure script options to the runtime system for display (gsi -v).