# HG changeset patch # User Pascal Bellard # Date 1205144302 0 # Node ID 5535068053f4d1eb94aa584ac245d5696c0fa0b4 # Parent 49cd9147d12de5932c28c9097d80927d617b781d filter /var/log/boot.log diff -r 49cd9147d12d -r 5535068053f4 etc/init.d/rcS --- a/etc/init.d/rcS Mon Mar 10 10:43:27 2008 +0100 +++ b/etc/init.d/rcS Mon Mar 10 10:18:22 2008 +0000 @@ -51,7 +51,7 @@ fi /bin/dmesg > /var/log/dmesg.log -vcsa2txt < /dev/vcsa1 > /var/log/boot.log +vcsa2txt < /dev/vcsa1 | awk 'BEGIN {s=0} /^Processing/ {s=1} { if (s) print }' >/var/log/boot.log script -a -q -c '/etc/init.d/rcS logged' /var/log/boot.log else #logged