wok rev 18474

gzip: add zgrep to packaged files list
author nneul@neulinger.org
date Mon Oct 05 18:50:36 2015 +0000 (2015-10-05)
parents 57f41f847bba
children 7d7308c50576
files gzip/receipt
line diff
     1.1 --- a/gzip/receipt	Mon Oct 05 04:01:02 2015 +0300
     1.2 +++ b/gzip/receipt	Mon Oct 05 18:50:36 2015 +0000
     1.3 @@ -28,6 +28,7 @@
     1.4  genpkg_rules()
     1.5  {
     1.6  	mkdir -p $fs/usr/bin
     1.7 +	cp -a $install/usr/bin/zgrep $fs/usr/bin
     1.8  	cp -a $install/usr/bin/gzip $fs/usr/bin
     1.9  	cp -a $install/usr/bin/gunzip $fs/usr/bin
    1.10  }