diff options
author | Luca Barbato <lu_zero@gentoo.org> | 2013-10-28 13:22:52 +0100 |
---|---|---|
committer | Luca Barbato <lu_zero@gentoo.org> | 2013-10-29 11:36:00 +0100 |
commit | e78913052263af80855590659fb0f705e8f13c8a (patch) | |
tree | 81b72f5d585ed514342040630746f4bcf12ffda6 /configure | |
parent | dcd3eda6cb8884beeb67ef5eb61b4bb6b01d29ea (diff) | |
download | ffmpeg-e78913052263af80855590659fb0f705e8f13c8a.tar.gz |
configure: Provide an hardened toolchain option
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -2288,6 +2288,10 @@ case "$toolchain" in add_cflags -fprofile-arcs -ftest-coverage add_ldflags -fprofile-arcs -ftest-coverage ;; + hardened) + add_cflags -U_FORTIFY_SOURCE -D_FORTIFY_SOURCE=2 -fno-strict-overflow -fstack-protector-all + add_ldflags -Wl,-z,relro -Wl,-z,now + ;; ?*) die "Unknown toolchain $toolchain" ;; |