From c4381dad52c12bfd3781f2353142859cb6632fbf Mon Sep 17 00:00:00 2001 From: George Danchev Date: Sat, 9 Jul 2011 08:45:38 +0000 Subject: [PATCH] more clean formatting --- releng/releng_isocontent | 4 +++- releng/run_all_releng | 1 + 2 files changed, 4 insertions(+), 1 deletion(-) diff --git a/releng/releng_isocontent b/releng/releng_isocontent index 69b9f5b7..c28fa901 100755 --- a/releng/releng_isocontent +++ b/releng/releng_isocontent @@ -196,11 +196,13 @@ is_valid_iso9660() { fi } -echo "=== Producing simple images via -o, redirect, and pipe" >&2 +echo "=== Producing simple images via -o" >&2 "$xorriso" -as mkisofs "$on_disk" -o "$workdir"/image_minus_o.iso is_valid_iso9660 "$workdir"/image_minus_o.iso +echo "=== Producing simple images via redirect" >&2 "$xorriso" -as mkisofs "$on_disk" > "$workdir"/image_redirected.iso is_valid_iso9660 "$workdir"/image_redirected.iso +echo "=== Producing simple images via pipe" >&2 "$xorriso" -as mkisofs "$on_disk" | cat > "$workdir"/image_piped.iso is_valid_iso9660 "$workdir"/image_piped.iso diff --git a/releng/run_all_releng b/releng/run_all_releng index 9859f5c8..d0b84094 100755 --- a/releng/run_all_releng +++ b/releng/run_all_releng @@ -59,6 +59,7 @@ fi if [ -x ${s} -a ! -d ${s} ]; then # tee(1) does trailing \n, which is unwanted in that case printf "\n${SELF}: Running ./${s} ${PASSED_OPTIONS}..." + echo -e "~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~" >> ${CLOG} echo -e "\n${SELF}: Running ./${s} ${PASSED_OPTIONS}..." >> ${CLOG} echo -e "~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~" >> ${CLOG} T1=`date '+%s'`