wok diff linux/receipt @ rev 8066
mirror-tools: add dir-generator.php
author | Pascal Bellard <pascal.bellard@slitaz.org> |
---|---|
date | Fri Jan 21 11:09:19 2011 +0100 (2011-01-21) |
parents | a03e47756b33 |
children | 03d4663c81fa |
line diff
1.1 --- a/linux/receipt Thu Dec 16 17:16:06 2010 +0000 1.2 +++ b/linux/receipt Fri Jan 21 11:09:19 2011 +0100 1.3 @@ -84,7 +84,7 @@ 1.4 -e 's/^CONFIG_RT2870/#&/' .config 1.5 yes '' | make oldconfig 1.6 make -j 4 bzImage || return 1 1.7 - [-d $PWD/_pkg ] || mkdir -p $PWD/_pkg 1.8 + [ -d $PWD/_pkg ] || mkdir -p $PWD/_pkg 1.9 mv arch/x86/boot/bzImage $PWD/_pkg 1.10 mv System.map System.map-without-modules 1.11