mirror of
https://github.com/eclipse-cdt/cdt
synced 2025-08-07 00:05:53 +02:00
[releng] Regularly deploy TM.terminal.view for infocenter
This commit is contained in:
parent
64cf40c857
commit
aabd70c8e5
1 changed files with 2 additions and 1 deletions
|
@ -65,10 +65,11 @@ if [ -e TM-terminal-latest.zip ]; then
|
||||||
fi
|
fi
|
||||||
mkdir plugins.tmp
|
mkdir plugins.tmp
|
||||||
mv eclipse/plugins/org.eclipse.tm.terminal.view_*.jar plugins.tmp
|
mv eclipse/plugins/org.eclipse.tm.terminal.view_*.jar plugins.tmp
|
||||||
|
mv eclipse/plugins/org.eclipse.tm.terminal_*.jar plugins.tmp
|
||||||
rm -rf eclipse
|
rm -rf eclipse
|
||||||
NUM=`ls plugins.tmp/*.jar | wc -l`
|
NUM=`ls plugins.tmp/*.jar | wc -l`
|
||||||
echo "TM-terminal plugins.tmp: NUM=$NUM"
|
echo "TM-terminal plugins.tmp: NUM=$NUM"
|
||||||
if [ "$NUM" = "1" ]; then
|
if [ "$NUM" = "2" ]; then
|
||||||
echo "Doc plugins got successfully, installing from plugins.tmp into plugins..."
|
echo "Doc plugins got successfully, installing from plugins.tmp into plugins..."
|
||||||
if [ -e plugins ]; then
|
if [ -e plugins ]; then
|
||||||
rm -rf plugins
|
rm -rf plugins
|
||||||
|
|
Loading…
Add table
Reference in a new issue