Jörg Thalheim ed37276827 gnumake: use sh instead of /bin/sh by default		2021-04-24 11:00:55 +02:00
..
4.2
0001-No-impure-bin-sh.patch	gnumake: use sh instead of /bin/sh by default	2021-04-24 11:00:55 +02:00
0002-remove-impure-dirs.patch	gnumake: use sh instead of /bin/sh by default	2021-04-24 11:00:55 +02:00
default.nix	gnumake: use sh instead of /bin/sh by default	2021-04-24 11:00:55 +02:00