When we upload the iso, we additionally add the

source and maybe the build log.

diff --git a/tools/make-include b/tools/make-include
index af5c0ec719a1dd3b1dc02e9a61e9d78bb1985d86..e800485b5d57fd68183c34c548952f30e23d975a 100644 (file)
--- a/tools/make-include
+++ b/tools/make-include
@@ -758,6 +758,9 @@ puttarget() {
        mkdir -p ${DIR}
 
        [ -e "${BASEDIR}/packages" ] && cp -al ${BASEDIR}/packages ${DIR}
+       [ -e "${BATCHLOG}" ] && \
+               python ${BASEDIR}/alog2html < ${BATCHLOG} > ${DIR}/build_log.html
+       git_export; cp -l ${BASEDIR}/${SNAME}-${VERSION}.source.tar.gz ${DIR}
        cp -l ${BASEDIR}/${SNAME}-${VERSION}.${MACHINE}.iso ${DIR}
 
        cd $BASEDIR && \