Makefile: remove the options target
commit9f8855343c881bdc01b9fff5b956537ba1106b76
authorHiltjo Posthuma <hiltjo@codemadness.org>
Fri, 22 Sep 2023 13:13:29 +0000 (22 15:13 +0200)
committerHiltjo Posthuma <hiltjo@codemadness.org>
Fri, 22 Sep 2023 13:13:29 +0000 (22 15:13 +0200)
treea7d41638cbcea5b1b4b77b7a3a418446b21e5df8
parente81f17d4c196aaed6893fd4beed49991caa3e2a4
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.
Makefile