Merge branch 'bv_size_remove_redondancy' into 'master'
[why3.git] / autogen.sh
blob2b9fc232feb28075ee1015db71e519b64ce33eef
1 #!/bin/sh -eux
3 if [ ! -f "configure" ]; then
4 autoconf
5 fi