| 12345678910111213 |
- --- /dev/null 2009-10-20 19:31:44.183325514 +0300
- +++ src/rebuild-configure-scripts.sh 2009-10-22 10:37:14.583117034 +0300
- @@ -0,0 +1,9 @@
- +#!/bin/bash
- +
- +top=`pwd`
- +for configurein in `find -name configure.in -type f` ; do
- + pushd `dirname $configurein`
- + grep -q A._CONFIG_HEADER configure.in && autoheader -I "$top"
- + autoconf -I "$top"
- + popd
- +done
|
