1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-08-11 10:15:39 +02:00

Improve deployment

This commit is contained in:
Martin Oberhuber 2009-01-20 17:01:18 +00:00
parent 177214a13f
commit 2722ff11e9

View file

@ -88,9 +88,11 @@ for COMP in rse dd.dsf nab ercp mtj ; do
if [ -d "$ECL_DIR/eclipse/dropins/${COMP}/eclipse/plugins" ]; then if [ -d "$ECL_DIR/eclipse/dropins/${COMP}/eclipse/plugins" ]; then
diff -r "${IHOME}/deploy/${COMP}/plugins" "$ECL_DIR/eclipse/dropins/${COMP}/eclipse/plugins" >/dev/null diff -r "${IHOME}/deploy/${COMP}/plugins" "$ECL_DIR/eclipse/dropins/${COMP}/eclipse/plugins" >/dev/null
result=$? result=$?
echo "${COMP} RESULT: ${result}"
if [ "${result}" != "0" ]; then if [ "${result}" != "0" ]; then
echo "${COMP} diffs as ${result} --> deploying"
NEED_RESTART=1 NEED_RESTART=1
else
echo "${COMP} is unchanged"
fi fi
else else
echo "${COMP} is NEW" echo "${COMP} is NEW"