Ikumi Keita <[EMAIL PROTECTED]> writes:
>>>>>> David Kastrup <[EMAIL PROTECTED]> writes:
>> Could it be that the FreeBSD shell interprets a sequence of commands
>> separated by ";" and "||" differently? What happens if you write
>> SHELL=/usr/bin/bash
>> into the top of the Makefile (assuming that /usr/bin/bash exists)?
>
> I installed bash and tried. Unfortunately, it doesn't seem bash
> helps. The result was just the same.
> --------------------------------------------------------------------
> % /usr/local/bin/bash --version
> GNU bash, version 3.00.16(1)-release (i386-portbld-freebsd4.11)
> Copyright (C) 2004 Free Software Foundation, Inc.
> % /usr/local/bin/bash
> [EMAIL PROTECTED] head Makefile
> SHELL=/usr/local/bin/bash
> [EMAIL PROTECTED] export SHELL=/usr/local/bin/bash
> [EMAIL PROTECTED] make
While we are doing the overkill routine, I'd have expected you to use
make SHELL=/usr/local/bin/bash
But I consider the results quite convincing, anyway.
What you could try to do, however, is
make SHELL=/usr/local/bin/bash -x
which would give us more verbose output. Indepent of that, I'll try
to think about something that will work in any case.
--
David Kastrup, Kriemhildstr. 15, 44793 Bochum
_______________________________________________
auctex-devel mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/auctex-devel
