diff options
Diffstat (limited to 'org.rtems.cdt.update/copyUpdateSite.sh')
-rwxr-xr-x | org.rtems.cdt.update/copyUpdateSite.sh | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/org.rtems.cdt.update/copyUpdateSite.sh b/org.rtems.cdt.update/copyUpdateSite.sh index 75b08e4..cce7371 100755 --- a/org.rtems.cdt.update/copyUpdateSite.sh +++ b/org.rtems.cdt.update/copyUpdateSite.sh @@ -6,6 +6,7 @@ COPYCMD="cp -r" set -ex -${COPYCMD} ${SRCDIR}/features ${SRCDIR}/plugins \ - ${SRCDIR}/web ${SRCDIR}/site.xml ${SRCDIR}/index.html \ - ${DESTDIR} +${COPYCMD} ${SRCDIR}/features ${SRCDIR}/plugins ${SRCDIR}/web \ + ${SRCDIR}/artifacts.jar ${SRCDIR}/content.jar \ + ${SRCDIR}/site.xml ${SRCDIR}/index.html \ + ${DESTDIR} |