1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2024-12-29 04:50:03 +01:00

Merge pull request #17213 from kaspar030/log_build_dir_size

murdock: use json output `$(BINDIR)` size
This commit is contained in:
Francisco 2022-04-07 16:59:54 +02:00 committed by GitHub
commit ec6d6026bb
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -507,10 +507,10 @@ compile() {
fi
fi
# log some build stats
if [ -d ${BINDIR} ]
then
echo "-- build directory size: $(du -sh ${BINDIR} | cut -f1)"
echo "{\"build/\": $(du -s ${BINDIR} | cut -f1)}"
# cleanup
rm -rf ${BINDIR}
fi