This repository has been archived on 2024-10-17. You can view files and clone it, but cannot push or open issues or pull requests.

Pierre Labastie 59c4761950 Display the size of $BUILD_DIR for stats ... Displaying the size of /, but excluding other filesystems is not good if BUILD_DIR is on another filesystem. Furthermore, when doing stats, the DESTDIR is inside $BUILD_DIR, so the full size is recorded. The only thing that is not recorded is if the build system downloads files to the user's home (cargo, maven, ...).		2021-11-01 13:18:09 +01:00
..
libs	Remove $Id$ comments, they are useless with git	2021-10-31 10:22:30 +01:00
xsl	Display the size of $BUILD_DIR for stats	2021-11-01 13:18:09 +01:00
envars.conf	Remove $Id$ comments, they are useless with git	2021-10-31 10:22:30 +01:00
gen-makefile.sh	Remove $Id$ comments, they are useless with git	2021-10-31 10:22:30 +01:00
gen-special.sh	Remove $Id$ comments, they are useless with git	2021-10-31 10:22:30 +01:00
gen_pkg_book.sh	Remove $Id$ comments, they are useless with git	2021-10-31 10:22:30 +01:00
Makefile	Remove $Id$ comments, they are useless with git	2021-10-31 10:22:30 +01:00
packdesc.dtd	Remove $Id$ comments, they are useless with git	2021-10-31 10:22:30 +01:00
TODO	Remove $Id$ comments, they are useless with git	2021-10-31 10:22:30 +01:00
update-lfs.sh	Remove $Id$ comments, they are useless with git	2021-10-31 10:22:30 +01:00