diff options
| author | Hiltjo Posthuma | 2023-09-22 15:16:44 +0200 |
|---|---|---|
| committer | Hiltjo Posthuma | 2023-09-22 15:16:44 +0200 |
| commit | 8df553e0048733bab4bc85a6b76bcfd44c046e71 (patch) | |
| tree | 296408251172a21c9ccd1f709ab7befd4c49cfa1 /config.arg.h | |
| parent | 7ab0cb5ef0e19352fc5d64ae0d57a5cf4540acbf (diff) | |
Makefile: remove the options target
The Makefile used to suppress output (by using @), so this target made sense at
the time.
But the Makefile should be simple and make debugging with less abstractions or
fancy printing. The Makefile was made verbose and doesn't hide the build
output, so remove this target.
Prompted by a question on the mailing list about the options target.
Diffstat (limited to 'config.arg.h')
0 files changed, 0 insertions, 0 deletions