aboutsummaryrefslogtreecommitdiff
path: root/BUGS
diff options
context:
space:
mode:
authorHiltjo Posthuma2023-09-22 15:13:29 +0200
committerHiltjo Posthuma2023-09-22 15:13:29 +0200
commit9f8855343c881bdc01b9fff5b956537ba1106b76 (patch)
treea7d41638cbcea5b1b4b77b7a3a418446b21e5df8 /BUGS
parente81f17d4c196aaed6893fd4beed49991caa3e2a4 (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 'BUGS')
0 files changed, 0 insertions, 0 deletions