From f4bedb04a9d73152c9c9943077018a1acaddfd52 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Michal=20=C4=8Ciha=C5=99?= Date: Tue, 7 Dec 2010 14:38:45 +0100 Subject: [PATCH] Remove some unneded scripts when creating a release. --- scripts/create-release.sh | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/scripts/create-release.sh b/scripts/create-release.sh index fc5b3bcd1..92c77be26 100755 --- a/scripts/create-release.sh +++ b/scripts/create-release.sh @@ -137,6 +137,8 @@ if [ -f ./scripts/compress-js ] ; then rm -rf sources fi +echo "* Removing unneeded files" + # Remove test directory from package to avoid Path disclosure messages # if someone runs /test/wui.php and there are test failures rm -rf test @@ -144,6 +146,11 @@ rm -rf test # Remove javascript compiler, no need to ship it rm -rf scripts/google-javascript-compiler/ +# Remove scripts which are not useful for user +for s in compress-js create-release.sh generate-mo mergepo.py php2gettext.sh remove_control_m.sh update-po upload-release ; do + rm -f scripts/$s +done + # Remove git metadata rm -rf .git find . -name .gitignore -print0 | xargs -0 -r rm -f @@ -159,6 +166,7 @@ for kit in $KITS ; do # Cleanup translations cd phpMyAdmin-$version-$kit scripts/lang-cleanup.sh $kit + rm -f scripts/lang-cleanup.sh cd .. # Prepare distributions -- 2.11.4.GIT