bootstrap
changeset 495 88c597598bbc
parent 479 610ddcf35d5c
child 543 26a5793040a9
equal deleted inserted replaced
494:178b1b43a88c 495:88c597598bbc
     1 #!/bin/bash
     1 #!/bin/bash
       
     2 
       
     3 # $Id$
     2 
     4 
     3 set -x
     5 set -x
     4 mkdir -p autoconf
     6 mkdir -p autoconf
     5 aclocal -I autoconf
     7 aclocal -I autoconf
     6 autoheader
     8 autoheader