diff options
author | Ludovic Courtès <ludo@gnu.org> | 2019-04-19 16:49:46 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2019-04-19 17:46:40 +0200 |
commit | 04b5ac212f33fc20696fbe43816a1a86aad1a9f2 (patch) | |
tree | 8a7efec688c5de34ba39d47e6feda9513422bd1f /ROADMAP | |
parent | 35a09fd9c1aeb1023352b8e29c483b2fa6c4e41a (diff) | |
download | patches-04b5ac212f33fc20696fbe43816a1a86aad1a9f2.tar patches-04b5ac212f33fc20696fbe43816a1a86aad1a9f2.tar.gz |
build: Show completion percentage while building.
* build-aux/compile-all.scm (%): New procedure.
(command-line): Use it to report completion.
Diffstat (limited to 'ROADMAP')
0 files changed, 0 insertions, 0 deletions