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)` ] \ | |||
| 393 | extrasub='/^VPATH[ ]*=/c\ | 393 | extrasub='/^VPATH[ ]*=/c\ |
| 394 | vpath %.c $(srcdir)\ | 394 | vpath %.c $(srcdir)\ |
| 395 | vpath %.h $(srcdir)\ | 395 | vpath %.h $(srcdir)\ |
| 396 | vpath %.y $(srcdir)\ | ||
| 397 | vpath %.l $(srcdir)\ | ||
| 398 | vpath %.s $(srcdir)\ | ||
| 396 | vpath %.in $(srcdir)' | 399 | vpath %.in $(srcdir)' |
| 397 | fi | 400 | fi |
| 398 | 401 | ||