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