scan.cc: indicator_function: coalesce domain before using it in intersection
[pet.git] / autogen.sh
blob84cb4b9e719f555b78f74c20e8fed55768fdcb8a
1 #!/bin/sh
2 if test -f isl/autogen.sh; then
3 (cd isl; ./autogen.sh)
4 fi
5 autoreconf -i