wok-current rev 10436
linux-api-headers: dump
author | Christophe Lincoln <pankso@slitaz.org> |
---|---|
date | Wed May 25 01:03:25 2011 +0200 (2011-05-25) |
parents | 8c5424ec24b1 |
children | ea7ba52ef854 |
files | linux-api-headers/receipt |
line diff
1.1 --- a/linux-api-headers/receipt Wed May 25 00:45:32 2011 +0200 1.2 +++ b/linux-api-headers/receipt Wed May 25 01:03:25 2011 +0200 1.3 @@ -14,7 +14,6 @@ 1.4 cook_tmp_toolchain() 1.5 { 1.6 cd $src 1.7 - 1.8 make mrproper && 1.9 make headers_check && 1.10 make INSTALL_HDR_PATH=dest headers_install && 1.11 @@ -25,7 +24,6 @@ 1.12 compile_rules() 1.13 { 1.14 cd $src 1.15 - 1.16 make mrproper && 1.17 make headers_check && 1.18 make INSTALL_HDR_PATH=$DESTDIR/usr headers_install 1.19 @@ -36,7 +34,6 @@ 1.20 { 1.21 mkdir -p $fs/usr 1.22 cp -a $_pkg/usr/include $fs/usr 1.23 - 1.24 rm -f $(find ${fs} -name .install -or -name ..install.cmd) 1.25 } 1.26