update CE build from sources
[fedora-idea.git] / build / update.sh
blob0d62523c52255798bda481264adcd19e45cc72e5
1 #! /bin/bash
2 if [ -z "$WORK_IDEA_HOME" ]; then
3 echo WORK_IDEA_HOME must be defined and point to build you're updating
4 exit
5 fi
7 if [ -z "$DEV_IDEA_HOME" ]; then
8 echo DEV_IDEA_HOME must be defined and point to source base your're updating from
9 exit
12 echo Updating $WORK_IDEA_HOME from compiled classes in $DEV_IDEA_HOME
14 rm -rf $WORK_IDEA_HOME/lib
15 rm -rf $WORK_IDEA_HOME/plugins
17 ant -f update.xml
19 cd $DEV_IDEA_HOME
20 cp -R $DEV_IDEA_HOME/out/deploy/* $WORK_IDEA_HOME
22 cd $WORK_IDEA_HOME/bin