wok diff 8086tiny/stuff/8086tiny.sh @ rev 25157

updated pugixml (1.10 -> 1.12.1)
author: Hans-G?nter Theisgen
date: Thu Jun 30 16:40:03 2022 +0100 (24 months ago)
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/8086tiny/stuff/8086tiny.sh	Thu Jun 30 16:40:03 2022 +0100
     1.3 @@ -0,0 +1,10 @@
     1.4 +#!/bin/sh
     1.5 +
     1.6 +if [ ! -e "$1" ]; then
     1.7 +	echo "Usage: $0 fd_image [hd_image]"
     1.8 +else
     1.9 +	clear
    1.10 +	stty cbreak raw -echo min 0
    1.11 +	${TINY8086:-/usr/bin/8086tiny} /usr/share/8086tiny/bios "$@"
    1.12 +	stty cooked echo
    1.13 +fi