diff options
| author | Erich Eckner <git@eckner.net> | 2017-06-14 06:28:43 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-06-14 06:28:43 +0200 |
| commit | f5a344fc675bdd21b5c8dc2f17841046c3e5bc27 (patch) | |
| tree | fad8627c207d3f077952ffe7b5e1418900b0e313 /Makefile | |
| parent | c572577f08af6203137c19ad805f058c06ad2a6c (diff) | |
| download | makekernel-f5a344fc675bdd21b5c8dc2f17841046c3e5bc27.tar.xz | |
only enforce terminal when -s not given
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions