dist: no need to build headers from .spec

To avoid the wbgen2 dependency, we put inside the src.rpm all the generated files Signed-off-by: Federico Vaga <federico.vaga@cern.ch>

dist: no need to build headers from .spec
To avoid the wbgen2 dependency, we put inside the src.rpm all the generated files Signed-off-by: Federico Vaga <federico.vaga@cern.ch>
f7bc0210 · Federico Vaga · 8fc00910 · f7bc0210
Commit f7bc0210 authored Oct 21, 2019 by Federico Vaga
Hide whitespace changes
Inline Side-by-side

Showing with 0 additions and 1 deletion

mockturtle.spec distribution/mockturtle.spec +0 -1

No files found.
--- a/distribution/mockturtle.spec
+++ b/distribution/mockturtle.spec
@@ -26,7 +26,6 @@ This package is a meta package that install the Mock Turtle distribution
 %autosetup -n %{name}-%{version}

 %build
-make -C software/include
 make -C software/lib
 make -C software/tools