diff options
| author | Alexandre Oliva <aoliva@redhat.com> | 2002-02-23 10:08:09 +0000 |
|---|---|---|
| committer | Alexandre Oliva <aoliva@redhat.com> | 2002-02-23 10:08:09 +0000 |
| commit | 081ff160e9e57176f56902077b0d0e40a435ae55 (patch) | |
| tree | 5c9ebe240c3ccc541fa1c69c2b9caa2d1e6ce99a /Makefile.in | |
| parent | d85a5daf253cfae20df8dde7fe6699cc830b7cf5 (diff) | |
| download | gdb-081ff160e9e57176f56902077b0d0e40a435ae55.zip gdb-081ff160e9e57176f56902077b0d0e40a435ae55.tar.gz gdb-081ff160e9e57176f56902077b0d0e40a435ae55.tar.bz2 | |
* Makefile.in (MAKEINFO): Don't assume makeinfo will be built just
because its Makefile is there; test for the executable instead.
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in index 1a1494c..7bf5b5a 100644 --- a/Makefile.in +++ b/Makefile.in @@ -143,7 +143,7 @@ M4 = `if [ -f $$r/m4/m4 ] ; \ # For an installed makeinfo, we require it to be from texinfo 4 or # higher, else we use the "missing" dummy. -MAKEINFO = `if [ -f $$r/texinfo/makeinfo/Makefile ] ; \ +MAKEINFO = `if [ -f $$r/texinfo/makeinfo/makeinfo ] ; \ then echo $$r/texinfo/makeinfo/makeinfo ; \ else if (makeinfo --version \ | egrep 'texinfo[^0-9]*([1-3][0-9]|[4-9])') >/dev/null 2>&1; \ |