diff options
Diffstat (limited to 'random')
| -rw-r--r-- | random/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/random/Makefile.am b/random/Makefile.am index 60af5b4a..7e6e6f03 100644 --- a/random/Makefile.am +++ b/random/Makefile.am @@ -55,7 +55,7 @@ jitterentropy-base.c jitterentropy.h jitterentropy-base-user.h # The rndjent module needs to be compiled without optimization. */ if ENABLE_O_FLAG_MUNGING -o_flag_munging = sed -e 's/-O\([1-9s][1-9s]*\)/-O0/g' -e 's/-Ofast/-O0/g' +o_flag_munging = sed -e 's/-O\([1-9sg][1-9sg]*\)/-O0/g' -e 's/-Ofast/-O0/g' else o_flag_munging = cat endif |