wok-next rev 20866

mono: fix build by not enabling Spectre mitigation
author Aleksej Bobylev <al.bobylev@gmail.com>
date Sun Jul 01 23:19:43 2018 +0300 (2018-07-01)
parents 04db1a3c3590
children 85a0f869ebc9
files mono/receipt
line diff
     1.1 --- a/mono/receipt	Sun Jul 01 21:13:43 2018 +0300
     1.2 +++ b/mono/receipt	Sun Jul 01 23:19:43 2018 +0300
     1.3 @@ -19,10 +19,10 @@
     1.4  # Build documentation at https://www.mono-project.com/docs/compiling-mono/
     1.5  
     1.6  compile_rules() {
     1.7 +#		--with-spectre-mitigation=yes \
     1.8 +#		--with-spectre-indirect-branch-choice=extern \
     1.9  	./configure \
    1.10  		--with-libgdiplus=installed \
    1.11 -		--with-spectre-mitigation=yes \
    1.12 -		--with-spectre-indirect-branch-choice=extern \
    1.13  		$CONFIGURE_ARGS &&
    1.14  	fix libtool &&
    1.15  	make &&