tags 477583 + patch thanks Patch attached.
Regards,
--
Chris Lamb, UK [EMAIL PROTECTED]
GPG: 0x634F9A20
diff -urNad hol88-2.02.19940316.orig/debian/rules
hol88-2.02.19940316/debian/rules
--- hol88-2.02.19940316.orig/debian/rules 2008-05-03 23:44:15.000000000
+0100
+++ hol88-2.02.19940316/debian/rules 2008-05-03 23:44:35.000000000 +0100
@@ -42,7 +42,7 @@
echo '#-native-reloc(bye -1)' | gcl || cat debian/gcl_patch.l
debian/gcl_save.l | gcl
PATH=$$(pwd):$$PATH $(MAKE) all
for i in $$(find -maxdepth 1 -name "*hol*"); do \
- echo -e 'install `'/usr/share/$(PD)'`;;\nlisp `(ml-save
"foo")`;;' | ./$$i &&\
+ printf 'install `'/usr/share/$(PD)'`;;\nlisp `(ml-save
"foo")`;;\n' | ./$$i &&\
mv foo $$i; done
touch $@
signature.asc
Description: PGP signature
