* spot.spec.in: Use --disable-devel --enable-optimizations.

This commit is contained in:
Alexandre Duret-Lutz 2018-07-04 14:21:31 +02:00
parent 0d2b8aacd1
commit 0a9c1d3347

View file

@ -147,7 +147,7 @@ HTML and PDF documentation for Spot.
%build
%configure
%configure --disable-devel --enable-optimizations
%make_build