diff options
| -rwxr-xr-x | configure1.in | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/configure1.in b/configure1.in index b4ec6c9a5a6..e9564be49c0 100755 --- a/configure1.in +++ b/configure1.in @@ -393,6 +393,9 @@ if [ `pwd` != `(cd ${srcdir} && pwd)` ] \ extrasub='/^VPATH[ ]*=/c\ vpath %.c $(srcdir)\ vpath %.h $(srcdir)\ +vpath %.y $(srcdir)\ +vpath %.l $(srcdir)\ +vpath %.s $(srcdir)\ vpath %.in $(srcdir)' fi |