?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
ppcg_kernel: store mapping from domain elements to block identifiers
[ppcg.git] / autogen.sh
blobb9420f6d47084a27593a81055332452b48e11f4f
1 #!/bin/sh
2 if test -f isl/autogen.sh; then
3 (cd isl; ./autogen.sh)
4 fi
5 if test -f pet/autogen.sh; then
6 (cd pet; ./autogen.sh)
7 fi
8 autoreconf -i