Davide G. M. Salvetti wrote: > >>>>> RG == Raphael Geissert [2008-4-21] [..] > RG> While checking for bashisms in debian/rules with checkbashisms (from > RG> the 'devscripts' package) I've found your package making use of a > RG> bashism. > > This package uses "#!/bin/bash". Therefore, a future move of "/bin/sh" > to "/bin/dash" won't affect it in any way.
Oh, you are quite right. auctex's debian/rules, line 33 is:
SHELL := /bin/bash
> Is it mandated by policy that shell scritps should use "/bin/sh"?
Not at all! Sorry for the noise, this is a false positive of the
checkbashisms run - closing this bug accordingly.
Regards,
--
Chris Lamb, UK [EMAIL PROTECTED]
GPG: 0x634F9A20
signature.asc
Description: PGP signature
