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 /scripts | |
| 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 'scripts')
0 files changed, 0 insertions, 0 deletions