Remove some unneded scripts when creating a release.

This commit is contained in:
Michal Čihař
2010-12-07 14:38:45 +01:00
parent b1f939ef58
commit f4bedb04a9

View File

@@ -137,6 +137,8 @@ if [ -f ./scripts/compress-js ] ; then
rm -rf sources rm -rf sources
fi fi
echo "* Removing unneeded files"
# Remove test directory from package to avoid Path disclosure messages # Remove test directory from package to avoid Path disclosure messages
# if someone runs /test/wui.php and there are test failures # if someone runs /test/wui.php and there are test failures
rm -rf test rm -rf test
@@ -144,6 +146,11 @@ rm -rf test
# Remove javascript compiler, no need to ship it # Remove javascript compiler, no need to ship it
rm -rf scripts/google-javascript-compiler/ 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 # Remove git metadata
rm -rf .git rm -rf .git
find . -name .gitignore -print0 | xargs -0 -r rm -f find . -name .gitignore -print0 | xargs -0 -r rm -f
@@ -159,6 +166,7 @@ for kit in $KITS ; do
# Cleanup translations # Cleanup translations
cd phpMyAdmin-$version-$kit cd phpMyAdmin-$version-$kit
scripts/lang-cleanup.sh $kit scripts/lang-cleanup.sh $kit
rm -f scripts/lang-cleanup.sh
cd .. cd ..
# Prepare distributions # Prepare distributions