diff options
author | Mattias Andrée <maandree@kth.se> | 2019-10-10 16:55:35 +0200 |
---|---|---|
committer | Mattias Andrée <maandree@kth.se> | 2019-10-10 16:55:35 +0200 |
commit | cbe3d7d382280ae090ea86b1f415e0f10ea2f408 (patch) | |
tree | d6d618d878e47b6b608351108cc520fb2d9b3295 | |
parent | m (diff) | |
download | libred-cbe3d7d382280ae090ea86b1f415e0f10ea2f408.tar.gz libred-cbe3d7d382280ae090ea86b1f415e0f10ea2f408.tar.bz2 libred-cbe3d7d382280ae090ea86b1f415e0f10ea2f408.tar.xz |
Update config.mk
Signed-off-by: Mattias Andrée <maandree@kth.se>
-rw-r--r-- | config.mk | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -2,5 +2,5 @@ PREFIX = /usr MANPREFIX = $(PREFIX)/share/man CPPFLAGS = -D_DEFAULT_SOURCE -D_BSD_SOURCE -D_XOPEN_SOURCE=700 -D_GNU_SOURCE -CFLAGS = -std=c99 -Wall -LDFLAGS = -lm +CFLAGS = -std=c99 -Wall -O2 +LDFLAGS = -lm -s |