diff options
Diffstat (limited to '')
| -rw-r--r-- | mk/config.mk | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/mk/config.mk b/mk/config.mk index f33f469..a961a53 100644 --- a/mk/config.mk +++ b/mk/config.mk @@ -72,3 +72,7 @@ C_FLAGS = $(OPTIMISE) $(WARN) -std=$(STD) $(CPPFLAGS) $(CFLAGS) $(LDFLAGS) \ -fstrict-overflow -funsafe-loop-optimizations -fno-builtin \ -D'_GNU_SOURCE' -D'PKGNAME="$(PKGNAME)"' $(DEBUG_FLAGS) + +# Flags to pass into the manual compilers. +TEXIFLAGS = #--force + |