diff options
author | Julien Dessaux | 2024-02-28 00:13:36 +0100 |
---|---|---|
committer | Julien Dessaux | 2024-02-28 00:13:36 +0100 |
commit | 4df03f32421184e6bba8e5039f35d507407b8ea2 (patch) | |
tree | 2290d2ae143735d51947e6bef60457582b08883a /content/books/misc/the-field-guide-to-understanding-human-error.md | |
parent | Fixed PublishDate inconsistencies in my custom theme (diff) | |
download | www-4df03f32421184e6bba8e5039f35d507407b8ea2.tar.gz www-4df03f32421184e6bba8e5039f35d507407b8ea2.tar.bz2 www-4df03f32421184e6bba8e5039f35d507407b8ea2.zip |
Fixed makefile
-o pipefail is a bashism and does not work with
/bin/sh (dash) on debian
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions