diff options
| author | Akim Demaille <demaille@gostai.com> | 2009-07-01 12:19:09 +0200 |
|---|---|---|
| committer | Akim Demaille <demaille@gostai.com> | 2009-08-12 14:12:13 +0200 |
| commit | 838205d547498edd52c599e8755a233bb695e831 (patch) | |
| tree | a7f5e6d5b3443c241135bacc4d4e31062022fc2d /doc/local.mk | |
| parent | 67af719840616ed07ca120b8255a998f4533ce17 (diff) | |
| download | bison-838205d547498edd52c599e8755a233bb695e831.tar.gz | |
build: fix paths.
When using $(top_builddir) inconsistently, Make (including GNU
Make) is sometimes confused. As a result it may want to build
lib/libbison.la and $(top_builddir)/lib/libbison.la (the same
file, different names) concurrently, which, amusingly enough,
might end with:
ranlib lib/libbison.a
ranlib lib/libbison.a
make[2]: *** [lib/libbison.a] Segmentation fault
on OS X.
* doc/local.mk, src/local.mk: Do not use $(top_builddir) when not
needed.
Diffstat (limited to 'doc/local.mk')
| -rw-r--r-- | doc/local.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/local.mk b/doc/local.mk index cf68a98a..cb7d00d1 100644 --- a/doc/local.mk +++ b/doc/local.mk @@ -35,7 +35,7 @@ $(CROSS_OPTIONS_TEXI): $(top_srcdir)/src/getargs.c $(CROSS_OPTIONS_PL) { test ! -f $@ || cat $@; } >$@~ test ! -f $@.tmp || rm -f $@.tmp $(MAKE) $(AM_MAKEFLAGS) src/bison$(EXEEXT) - $(top_builddir)/src/bison --help | \ + src/bison --help | \ perl $(CROSS_OPTIONS_PL) $(top_srcdir)/src/scan-gram.l >$@.tmp diff -u $@~ $@.tmp || true mv $@.tmp $@ |