diff options
Diffstat (limited to 'src')
| -rwxr-xr-x | src/modules/configure | 14 |
1 files changed, 8 insertions, 6 deletions
diff --git a/src/modules/configure b/src/modules/configure index e2a6efd74..119c7c887 100755 --- a/src/modules/configure +++ b/src/modules/configure @@ -19,13 +19,15 @@ FIRST=1 for dir in * do if [ -d $dir ] ; then - if [ "$FIRST" = 1 ] ; then - echo -n " "$dir >> ./Makefile.inc - else - echo "\\" >> ./Makefile.inc - echo -n " " $dir >> ./Makefile.inc + if [ -f $dir/Makefile ] ; then + if [ "$FIRST" = 1 ] ; then + echo -n " "$dir >> ./Makefile.inc + else + echo "\\" >> ./Makefile.inc + echo -n " " $dir >> ./Makefile.inc + fi + FIRST=0 fi - FIRST=0 fi done |