Bug#493445: hol88: FTBFS with dash as /bin/sh
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
forcemerge 484983 493445 thanks (Already reported under a different title.) Regards, -- Chris Lamb, UK [EMAIL PROTECTED] GPG: 0x634F9A20 signature.asc Description: PGP signature