From: Rudolf Polzer Date: Thu, 12 Aug 2010 14:22:53 +0000 (+0200) Subject: we don't need misc/pki in releases X-Git-Tag: xonotic-v0.1.0preview~125^2~66 X-Git-Url: http://git.xonotic.org/?p=xonotic%2Fxonotic.git;a=commitdiff_plain;h=27274683e3dacc143cd2cdbe1e419315290db3ea we don't need misc/pki in releases --- diff --git a/all b/all index f63bd962..2bc1bf9b 100755 --- a/all +++ b/all @@ -919,6 +919,7 @@ case "$cmd" in verbose mv misc/buildfiles/win64 bin64 || true verbose mv misc/buildfiles/osx/* . || true verbose rm -rf misc/buildfiles + verbose rm -rf misc/pki } { verbose cd darkplaces @@ -941,6 +942,7 @@ case "$cmd" in verbose cd Xonotic/source verbose tar xvf - } + rm -f Xonotic/key_15.d0pk ;; release-compile-run) host=$1