summaryrefslogtreecommitdiff
path: root/config.mk
diff options
context:
space:
mode:
authorHiltjo Posthuma <hiltjo@codemadness.org>2023-09-22 15:13:29 +0200
committerRafael Marçalo <raroma09@gmail.com>2023-09-23 13:03:53 +0100
commit38042c031418b3414cd916e22529c7e3b0801751 (patch)
tree0d7a73b1da0710efdf309aa568e3a9f727e7c123 /config.mk
parent4ee2491bb361c0bd4e24417ce56bf0aebfcae9a4 (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.mk')
0 files changed, 0 insertions, 0 deletions