From a6d90070201b7f6c8edefe6d0e2720170b742262 Mon Sep 17 00:00:00 2001 From: Manuel Canales Esparcia Date: Mon, 3 Oct 2005 22:32:10 +0000 Subject: [PATCH] Fixed the generation of the chroot commands in the Makefile. --- jhalfs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/jhalfs b/jhalfs index 451d958..99eadb6 100755 --- a/jhalfs +++ b/jhalfs @@ -530,7 +530,7 @@ build_Makefile() { i=1 for file in chapter06/*chroot* ; do chroot=`cat $file | sed -e '/#!\/bin\/sh/d' -e 's@ \\\@ @g' | tr -d '\n' | sed \ - -e 's/ */ /g' -e 's|\\$|&&|g' -e 's|$| -c|'` + -e 's/ */ /g' -e 's|\\$|&&|g' -e 's|&&exit||g' -e 's|$| -c|'` echo -e "CHROOT$i= $chroot\n" >> $MKFILE i=`expr $i + 1` done