From d98367819a8b922cee1b51fdf8400ecd0637c539 Mon Sep 17 00:00:00 2001
From: Jens Petersen <petersen@redhat.com>
Date: Tue, 6 Aug 2019 13:06:43 +0800
Subject: [PATCH] really disable i686 prof

---
 Agda.spec | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Agda.spec b/Agda.spec
index 824e9f7..d68951f 100644
--- a/Agda.spec
+++ b/Agda.spec
@@ -3,7 +3,7 @@
 
 # https://gitlab.haskell.org/ghc/ghc/issues/17030 panic
 %ifarch %{ix86}
-%bcond_with prof
+%bcond_with ghc_prof
 %endif
 
 %global pkg_name Agda