Skip to content
Snippets Groups Projects
Commit 0bcbe28f authored by Guillaume Communie's avatar Guillaume Communie
Browse files

[CI] do not remove history of .deb

parent a2ebd9e1
No related branches found
No related tags found
No related merge requests found
......@@ -140,7 +140,7 @@ deploy_daily:
- cd build
- cp ${PKG_NAME} ${INSTALL_DIR}
- cd ${INSTALL_DIR}
- find . -maxdepth 1 ! -name "${PKG_NAME}" ! -name "." -exec rm -rf {} +
- find . -maxdepth 1 ! -name "*.deb" ! -name "." -exec rm -rf {} +
- dpkg -x ${PKG_NAME} .
- DEB_PREFIX="mantid_ill_"
- if [ -e ${DEB_PREFIX}5.deb ]; then rm ${DEB_PREFIX}5.deb; fi
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment