| commit | 05de3dddcae35c8b6ea8a596ef3726127e45f619 | [log] [tgz] |
|---|---|---|
| author | Gael Guennebaud <g.gael@free.fr> | Thu Nov 03 17:37:25 2011 +0100 |
| committer | Gael Guennebaud <g.gael@free.fr> | Thu Nov 03 17:37:25 2011 +0100 |
| tree | 9ca0acb77ce6beb64e3dc7f558726af130175e93 | |
| parent | 94d87abbdb4e484f2d7bce4bc285ce8fbdb81431 [diff] |
use runtest.sh script iif /bin/bash does exist