Check that configure script is executable
Check that configure script is executable

Ignore-this: 7dfa95e5ebf55491f93bd1575ce296d6

This is a typical 'darcs dist' error. The simple way to fix it, is to override
the predist command of darcs.

darcs-hash:20120423224205-a43a9-350483dacc4ae2a5bf201c286215186fb94b2d08

avsm/oasis-old,jpdeplaix/oasis,diml/oasis,RadicalZephyr/oasis,jpdeplaix/oasis,jpdeplaix/oasis,Chris00/oasis,madroach/oasis,Chris00/oasis,avsm/oasis-old,avsm/oasis-mirror,gerdstolpmann/oasis,avsm/oasis-old,gerdstolpmann/oasis,RadicalZephyr/oasis,avsm/oasis-mirror,Chris00/oasis,diml/oasis,avsm/oasis-mirror,gerdstolpmann/oasis,madroach/oasis