From 0a9c1d33478305a341f622ff1e3520249dc8a8eb Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Wed, 4 Jul 2018 14:21:31 +0200 Subject: [PATCH] * spot.spec.in: Use --disable-devel --enable-optimizations. --- spot.spec.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/spot.spec.in b/spot.spec.in index e59339c16..32b51564a 100755 --- a/spot.spec.in +++ b/spot.spec.in @@ -147,7 +147,7 @@ HTML and PDF documentation for Spot. %build -%configure +%configure --disable-devel --enable-optimizations %make_build