# HG changeset patch # User Pascal Bellard # Date 1522094746 -7200 # Node ID 10474d9b980282b51a19f5ddb088236b45459161 # Parent a7a9bd1b47f492e9bce127058bdf424501c8005c linux: update .config diff -r a7a9bd1b47f4 -r 10474d9b9802 8086tiny/receipt --- a/8086tiny/receipt Fri Mar 23 13:08:29 2018 +0100 +++ b/8086tiny/receipt Mon Mar 26 22:05:46 2018 +0200 @@ -50,17 +50,5 @@ [ -x "$src/8086tiny.nographics" ] && \ cp -a $src/8086tiny.nographics $fs/usr/bin cp -a $src/bios_source/bios $fs/usr/share/8086tiny - cat > $fs/usr/bin/8086tiny.sh <