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

linld: more ram for zImage (again)
author Pascal Bellard <pascal.bellard@slitaz.org>
date Mon May 27 23:23:13 2019 +0200 (2019-05-27)
parents 66530154b12f
children 861efbf7a5de
line diff
     1.1 --- a/linld/stuff/src/pipehole.awk	Sun May 19 13:14:32 2019 +0200
     1.2 +++ b/linld/stuff/src/pipehole.awk	Mon May 27 23:23:13 2019 +0200
     1.3 @@ -214,6 +214,10 @@
     1.4  	}
     1.5  	if (/^	call	near ptr @fileexist\$/ || 	# return boolean :
     1.6  	    /^	call	near ptr @isoreaddir\$/ ||	#  0=true, -1=false
     1.7 +	    /^	call	near ptr @isoreset\$/ ||
     1.8 +	    /^	call	near ptr @isoopen\$/ ||
     1.9 +	    /^	call	near ptr @isoreadsector\$/ ||
    1.10 +	    /^	call	near ptr @strhead\$/ ||
    1.11  	    /^	call	near ptr @argstr\$/ ||
    1.12  	    /^	call	near ptr @argnum\$/) { print; hold=17; next; }
    1.13  	s=$0