aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorHiltjo Posthuma2023-09-22 15:16:44 +0200
committerHiltjo Posthuma2023-09-22 15:16:44 +0200
commit8df553e0048733bab4bc85a6b76bcfd44c046e71 (patch)
tree296408251172a21c9ccd1f709ab7befd4c49cfa1 /.gitignore
parent7ab0cb5ef0e19352fc5d64ae0d57a5cf4540acbf (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 '.gitignore')
0 files changed, 0 insertions, 0 deletions