closed #2390, Resolve the bug plugin/tools/config.sh.

This commit is contained in:
zhangbin 2013-07-10 15:34:29 +08:00
parent 8071226087
commit 54995745cf
1 changed files with 3 additions and 3 deletions

View File

@ -10,11 +10,11 @@ export TARGET_DIR_NAME="publish"
if [ ! ${PLUGIN_ROOT} ]; then
pushd ../
export PLUGIN_ROOT=`pwd`
export TARGET_ROOT=${PLUGIN_ROOT}/${TARGET_DIR_NAME}
echo PLUGIN_ROOT = ${PLUGIN_ROOT}
echo TARGET_ROOT = ${TARGET_ROOT}
popd
fi
export TARGET_ROOT=${PLUGIN_ROOT}/${TARGET_DIR_NAME}
echo PLUGIN_ROOT = ${PLUGIN_ROOT}
echo TARGET_ROOT = ${TARGET_ROOT}
# get a string include all plugins name(separate with ':')
export PLUGINS_CAN_SELECT=""