build: Show completion percentage while building.
authorLudovic Courtès <ludo@gnu.org>
Fri, 19 Apr 2019 14:49:46 +0000 (16:49 +0200)
committerLudovic Courtès <ludo@gnu.org>
Fri, 19 Apr 2019 15:46:40 +0000 (17:46 +0200)
commit04b5ac212f33fc20696fbe43816a1a86aad1a9f2
tree8a7efec688c5de34ba39d47e6feda9513422bd1f
parent35a09fd9c1aeb1023352b8e29c483b2fa6c4e41a
build: Show completion percentage while building.

* build-aux/compile-all.scm (%): New procedure.
(command-line): Use it to report completion.
build-aux/compile-all.scm