wok rev 20545

linld: typos (again)
author Pascal Bellard <pascal.bellard@slitaz.org>
date Sat Dec 01 12:25:32 2018 +0100 (2018-12-01)
parents 857bcb9a456d
children 828bdd9ad908
files linld/stuff/src/pipehole.awk
line diff
     1.1 --- a/linld/stuff/src/pipehole.awk	Sat Dec 01 12:11:23 2018 +0100
     1.2 +++ b/linld/stuff/src/pipehole.awk	Sat Dec 01 12:25:32 2018 +0100
     1.3 @@ -156,9 +156,8 @@
     1.4  		split($0,args,",")
     1.5  		if (args[2] == "large") { args[2] = $3 }
     1.6  		if (isnum(args[2])) {
     1.7 -			if (args[2] % 16777216 == 0) {
     1.8 +			if (/dword ptr/ && args[2] % 16777216 == 0) {
     1.9  				sub(/dword/,"byte",s);
    1.10 -				sub(/	e/,"",s); sub(/x,/,"h,",s) ||
    1.11  				sub(/\],/,"+3],",s) || sub(/,/,"+3,",s)
    1.12  				print s "/16777216"; next
    1.13  			}