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

syslinux/isoboot.s: accept user args (again)
author Pascal Bellard <pascal.bellard@slitaz.org>
date Fri Jun 19 17:01:11 2020 +0000 (2020-06-19)
parents c04335df099f
children 26195667e7c9
line diff
     1.1 --- a/linld/stuff/src/pipehole.awk	Fri Jun 19 15:46:21 2020 +0000
     1.2 +++ b/linld/stuff/src/pipehole.awk	Fri Jun 19 17:01:11 2020 +0000
     1.3 @@ -203,6 +203,15 @@
     1.4  	}
     1.5  	 } # file == "load.cpp"
     1.6  	 if (file == "iso9660.cpp") {
     1.7 +	if (/while \(\*\+\+s/) isiso=11
     1.8 +	if (isiso == 11) { # ISO9660.LST
     1.9 +		if (/cmp/ || /filename2open/) isiso=0
    1.10 +		if (/cmp/) next
    1.11 +		if (/mov/) {
    1.12 +			sub(/mov	bx,/,"cmp	byte ptr [")
    1.13 +			sub(/i$/,"i],0")
    1.14 +		}
    1.15 +	}
    1.16  	if (/curpos >= SECT/) isiso=10
    1.17  	if (isiso == 10) { # ISO9660.LST
    1.18  		if (/cmp/) {