try and avoid depending on mpz_gcdext internals
[platform/upstream/isl.git] / autogen.sh
1 #!/bin/sh
2 autoreconf -i