mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-08-10 17:55:39 +02:00
Code Issues Wiki Activity

[releng] Regularly deploy TM.terminal.view for infocenter

Browse source
This commit is contained in:
Martin Oberhuber 2010-11-29 10:42:30 +00:00
parent aabd70c8e5
commit 640c73fae8
2 changed files with 15 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

16
releng/org.eclipse.rse.releng.infocenter/setup.sh
View file

@ -21,9 +21,17 @@ if [ "$IHOME" = "" ]; then
fi fi
# prepare the base Eclipse installation in folder "eclipse" # prepare the base Eclipse installation in folder "eclipse"
ECL_DIR=$IHOME/eclipse ECL_DIR=$IHOME/eclipse
ep_rel=S #ep_rel=S
ep_ver=3.7M3 #ep_ver=3.7M3
ep_date=201010281441 #ep_date=201010281441
#ep_swtver=3.7.0.v3712b
#Use 3.6.1 base for now because 3.7M3 seems unreliable with long delay over network
ep_rel=R
ep_ver=3.6.1
ep_date=201009090800
ep_swtver=3.6.1.v3655c
uname_s=`uname -s` uname_s=`uname -s`
uname_m=`uname -m` uname_m=`uname -m`
case ${uname_s}${uname_m} in case ${uname_s}${uname_m} in
@ -39,7 +47,7 @@ case ${uname_s}${uname_m} in
esac esac
P2_no_dropins=false P2_no_dropins=false
if [ ! -f ${ECL_DIR}/eclipse/plugins/org.eclipse.swt_3.7.0.v3712b.jar ]; then if [ ! -f ${ECL_DIR}/eclipse/plugins/org.eclipse.swt_${ep_swtver}.jar ]; then
if [ ! -d ${ECL_DIR} ]; then if [ ! -d ${ECL_DIR} ]; then
mkdir -p ${ECL_DIR} mkdir -p ${ECL_DIR}
else else

4
releng/org.eclipse.rse.releng.infocenter/update.sh
View file

@ -119,7 +119,9 @@ if [ "$NEED_RESTART" != "0" ]; then
#TODO: not sure if we need to delete the old index to force re-indexing #TODO: not sure if we need to delete the old index to force re-indexing
echo "Deleting old index..." echo "Deleting old index..."
rm -rf $IHOME/config/org.eclipse.help.base #rm -rf $IHOME/config/org.eclipse.help.base
rm -rf $IHOME/eclipse/eclipse/configuration/org.eclipse.help.base
rm -rf $IHOME/workspace
cd $IHOME cd $IHOME
echo "Restarting infocenter..." echo "Restarting infocenter..."