diff options
| author | Wynn Wolf Arbor | 2020-03-16 13:48:01 +0100 |
|---|---|---|
| committer | Wynn Wolf Arbor | 2020-03-16 13:48:01 +0100 |
| commit | 110bf234790288036f208889cd9d5fd967993c38 (patch) | |
| tree | 55e1a7739f7dd062ecd069c3e19126ec1479e426 /Makefile | |
| parent | dff09036c9116125474759464284a2becb4ca27e (diff) | |
| download | kern-110bf234790288036f208889cd9d5fd967993c38.tar.gz | |
Add a prompt to test_diff instead of exiting unconditionally
For differences in config files that can safely be ignored, introduce
the possibility of continuing with the build and install instead of
exiting unconditionally.
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions