# HG changeset patch # User Pascal Bellard # Date 1579344791 -3600 # Node ID cb9350ef2c43561496a2d26638d1c53ae7d82cf2 # Parent dab616728814b5d80902f66255d694c41d0ee202 linld: fix pipehole.awk diff -r dab616728814 -r cb9350ef2c43 linld/stuff/src/pipehole.awk --- a/linld/stuff/src/pipehole.awk Sat Jan 18 11:42:51 2020 +0100 +++ b/linld/stuff/src/pipehole.awk Sat Jan 18 11:53:11 2020 +0100 @@ -180,7 +180,7 @@ sub(/,ax/,",cx") if (/version_string/ || /starting linux 1\.3\.73/) isload=0 } - if (/Not a kernel/ || /_rm_size=0x200/ || /heap_top = _rm_buf/) isload=1 + if (/die\(not_kernel/ || /_rm_size=0x200/ || /heap_top = _rm_buf/) isload=1 if (isload == 1) { # LOAD.LST if (/ptr .die\$qpxzc/) $0="@die@:\n" $0 if (/mov al,byte ptr/ && is386) {