cp -rf ${SRCDIR}/lib/plugins/* ${INSTALL_DIR}/rt-ide/plugins/
- if [ ! -d "${INSTALL_DIR}/tools" ]; then
- mkdir ${INSTALL_DIR}/tools
- echo 'created ${INSTALL_DIR}/tools'
- fi
-
- cp -rf ${SRCDIR}/tools/*.tar ${INSTALL_DIR}/tools/
-
- cd ${INSTALL_DIR}/tools
- find . -name '*.tar' -exec tar xf {} \;
- cd -
# remove console executable
rm -rf ${INSTALL_DIR}/rt-ide/launcher
;;
cp -rf ${SRCDIR}/lib/plugins/* ${INSTALL_DIR}/rt-ide/plugins/
- if [ ! -d "${INSTALL_DIR}/tools" ]; then
- mkdir ${INSTALL_DIR}/tools
- echo 'created ${INSTALL_DIR}/tools'
- fi
-
- cp -rf ${SRCDIR}/tools/*.tar ${INSTALL_DIR}/tools/
-
- cd ${INSTALL_DIR}/tools
- find . -name '*.tar' -exec tar xf {} \;
- cd -
# remove console executable
rm -rf ${INSTALL_DIR}/rt-ide/launcher
;;