diff options
| -rwxr-xr-x | scripts/config-stubs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/config-stubs b/scripts/config-stubs index a32e7fc30a..28208085a7 100755 --- a/scripts/config-stubs +++ b/scripts/config-stubs @@ -3,6 +3,6 @@ # $Id$ dir=$1; shift -for stubfile in $dir/*/config0.m4 $dir/*/config.m4; do +for stubfile in $dir/*/config0.m4 $dir/*/config.m4 $dir/*/config9.m4; do echo "sinclude($stubfile)" done |