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.
Ouch. Having looked at the code and at the shell manual again, I wrote complete nonsense. Sorry for causing you all that work. I checked something into the CVS (untested, though), that should work better. -- David Kastrup, Kriemhildstr. 15, 44793 Bochum _______________________________________________ auctex-devel mailing list [email protected] http://lists.gnu.org/mailman/listinfo/auctex-devel
