simple terminal
git clone git://
Log | Files | Refs | README | LICENSE

commit eb3b894f4076f2b25afc644a1f444b5cbd96aae8
parent 3a6d6d740110e6ee1b092d05ad746244eedabe4b
Author: Hiltjo Posthuma <>
Date:   Fri, 22 Sep 2023 15:16:52 +0200

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.

MMakefile | 10++--------
1 file changed, 2 insertions(+), 8 deletions(-)

diff --git a/Makefile b/Makefile @@ -7,13 +7,7 @@ include SRC = st.c x.c OBJ = $(SRC:.c=.o) -all: options st - -options: - @echo st build options: - @echo "CFLAGS = $(STCFLAGS)" - @echo "LDFLAGS = $(STLDFLAGS)" - @echo "CC = $(CC)" +all: st config.h: cp config.def.h config.h @@ -54,4 +48,4 @@ uninstall: rm -f $(DESTDIR)$(PREFIX)/bin/st rm -f $(DESTDIR)$(MANPREFIX)/man1/st.1 -.PHONY: all options clean dist install uninstall +.PHONY: all clean dist install uninstall