diff options
author | Michael Reed <michael@michaelreed.io> | 2017-07-09 03:32:14 -0400 |
---|---|---|
committer | Michael Reed <michael@michaelreed.io> | 2017-07-09 15:47:47 -0400 |
commit | ac4ba8372107488ea850a74e42e9c978441c6b67 (patch) | |
tree | 0a4ae154ed08835c9f527b709474b9f75ef5c982 /www/publish.sh | |
parent | 59293cc7c60688d5b34a038805a33dbdbd2133d3 (diff) | |
download | librebootfr-ac4ba8372107488ea850a74e42e9c978441c6b67.tar.gz librebootfr-ac4ba8372107488ea850a74e42e9c978441c6b67.zip |
Build website incrementally (and faster if you have the CPU cores)
This is done by replacing www/generate.sh with a Makefile. Benefits:
- Makes builds incremental, meaning that only the minimum number of
markdown files will be converted to HTML during a build. The previous
scheme always generated a new HTML file for every markdown file,
which is a big waste of time if only 1 or 2 markdown files have been
changed.
- Allows for much faster builds through concurrent jobs (e.g., via
"make -j4"). On my 4-core machine, my average build time for the
website with generate.sh was just over 26 seconds; with "make -j4",
it was 13 seconds.
- Avoids portability issues with find(1) in generate.sh, which I was
encountering on OpenBSD.
A note on portability: unlike GNU Make, OpenBSD's Make does not have
the "$(shell [commands])" construct, so we don't use that. Instead we
use "!= [commands]", which is supported by both.
Diffstat (limited to 'www/publish.sh')
-rwxr-xr-x | www/publish.sh | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/www/publish.sh b/www/publish.sh index 40140728..b1b1b405 100755 --- a/www/publish.sh +++ b/www/publish.sh @@ -20,7 +20,6 @@ [ "x${DEBUG+set}" = 'xset' ] && set -v set -e -printf '%s\n' $1 FILE=${1%.md} TMPFILE=$(mktemp -t libreboot_www.XXXXXXXXXX) |