wok diff linld/stuff/src/pipehole.awk @ rev 21747

tazboot: spare 2k
author Pascal Bellard <pascal.bellard@slitaz.org>
date Fri Jun 14 17:17:16 2019 +0200 (2019-06-14)
parents 6460d542c35a
children c19368210c2b
line diff
     1.1 --- a/linld/stuff/src/pipehole.awk	Thu Jun 13 15:52:10 2019 +0200
     1.2 +++ b/linld/stuff/src/pipehole.awk	Fri Jun 14 17:17:16 2019 +0200
     1.3 @@ -16,10 +16,9 @@
     1.4  	}
     1.5  	if (/x->curdirsize == 0xFFFF/) isiso=4
     1.6  	if (isiso == 4) { # ISO9660.LST
     1.7 -		if (/DGROUP:_isostate\+14,-1/) {
     1.8 -			sub(/DGROUP:_isostate\+14/,"[si+14]")
     1.9 -			isiso=0
    1.10 -		}
    1.11 +		sub(/DGROUP:_isostate\+14/,"[si+14]")
    1.12 +		sub(/DGROUP:_isostate\+16/,"[si+16]")
    1.13 +		if (/goto restarted/) isiso=0
    1.14  	}
    1.15  	if (/c = \*s;/) isiso=3
    1.16  	if (isiso == 3) { # ISO9660.LST
    1.17 @@ -36,6 +35,7 @@
    1.18  	if (isiso == 2) { # ISO9660.LST
    1.19  		if (/mov	bx,cx/) next
    1.20  		gsub(/cx/,"bx")
    1.21 +		sub(/DGROUP:_isostate\+31/,"[si+31]")
    1.22  	}
    1.23  	if (/const char \*n = name/) isiso=1
    1.24  	if (isiso == 1) { # ISO9660.LST