Bug#493445: hol88: FTBFS with dash as /bin/sh

2008-08-02 Thread Daniel Schepler
Package: hol88 Version: 2.02.19940316-7 Severity: important From my pbuilder build log, using a chroot with /bin/sh - dash: ... for i in $(find -maxdepth 1 -name *hol*); do \ echo -e 'install `'/usr/share/hol88-2.02.19940316'`;;\nlisp `(ml-save

Bug#493445: hol88: FTBFS with dash as /bin/sh

2008-08-02 Thread Chris Lamb
forcemerge 484983 493445 thanks (Already reported under a different title.) Regards, -- Chris Lamb, UK [EMAIL PROTECTED] GPG: 0x634F9A20 signature.asc Description: PGP signature