+ if [ "$optimisations" = "true" ]
+ then
+ echo "OPTIMISATIONS=-O2 -pipe"
+ # Since gcc 4.6, this optimization enabled with -O1 causes filter_line_sse2 to crash.
+ echo "OPTIMISATIONS+=-fno-tree-dominator-opts"
+ # Since gcc 4.6, this optimization enabled with -O2 causes filter_line_sse2 to crash.
+ echo "OPTIMISATIONS+=-fno-tree-pre"
+ fi