wok rev 22677

linld: fix pipehole.awk
author Pascal Bellard <pascal.bellard@slitaz.org>
date Sat Jan 18 11:53:11 2020 +0100 (21 months ago)
parents dab616728814
children 2a588e4793bc
files linld/stuff/src/pipehole.awk
line diff
     1.1 --- a/linld/stuff/src/pipehole.awk	Sat Jan 18 11:42:51 2020 +0100
     1.2 +++ b/linld/stuff/src/pipehole.awk	Sat Jan 18 11:53:11 2020 +0100
     1.3 @@ -180,7 +180,7 @@
     1.4  		sub(/,ax/,",cx")
     1.5  		if (/version_string/ || /starting linux 1\.3\.73/) isload=0
     1.6  	}
     1.7 -	if (/Not a kernel/ || /_rm_size=0x200/ || /heap_top = _rm_buf/) isload=1
     1.8 +	if (/die\(not_kernel/ || /_rm_size=0x200/ || /heap_top = _rm_buf/) isload=1
     1.9  	if (isload == 1) {  # LOAD.LST
    1.10  		if (/ptr .die\$qpxzc/) $0="@die@:\n" $0
    1.11  		if (/mov	al,byte ptr/ && is386) {