wok-current diff linux-source/stuff/rdev @ rev 24107

updated adminer (4.7.5 -> 4.8.1)
author: Hans-G?nter Theisgen
date: Sat Sep 25 17:50:51 2021 +0100 (2021-09-25)
parents: e36062a9b169
     1.1 --- a/linux-source/stuff/rdev	Fri Aug 10 13:21:07 2012 +0200
     1.2 +++ b/linux-source/stuff/rdev	Sat Sep 25 17:50:51 2021 +0100
     1.3 @@ -44,7 +44,7 @@
     1.4  if [ ! -s "$i" ]; then
     1.5  	echo $(dev $(stat -c %04D /)) /
     1.6  elif [ -n "$v" ]; then
     1.7 -	for i in 1 2; do
     1.8 +	for j in 1 2; do
     1.9  		printf '\\\\x%02X' $(($v&255))
    1.10  		v=$(($v>>8))
    1.11  	done | xargs echo -en | $dd of=$i seek=$o