wok-current diff linld/stuff/src/pipehole.awk @ rev 22677
linld: fix pipehole.awk
author | Pascal Bellard <pascal.bellard@slitaz.org> |
---|---|
date | Sat Jan 18 11:53:11 2020 +0100 (2020-01-18) |
parents | 53c1379e13fa |
children | 31ba14fadb9a |
line diff
1.1 --- a/linld/stuff/src/pipehole.awk Mon Jan 13 11:52:56 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) {