add reference to #991929 to armv7 -O0 condition

2021-06-11 18:22:49 +08:00 · 2021-06-11 18:22:49 +08:00 · 7625567586
parent 3e99f24800
commit 7625567586
1 changed files with 1 additions and 0 deletions
--- a/Agda.spec
+++ b/Agda.spec
@ -182,6 +182,7 @@ done
 # Begin cabal-rpm build:
 %ghc_libs_build %{subpkgs}
 %ifarch armv7hl
+# https://bugzilla.redhat.com/show_bug.cgi?id=991929
 %define cabal_configure_options --ghc-options="-O0"
 %endif
 %ghc_lib_build