Description: Fix parallel build failure
 In parallel builds this "bison && mv" ran twice in parallel,
 FTBFS if this resulted in the following sequence:
   bison -t -o gecode/flatzinc/parser.tab.cpp -d gecode/flatzinc/parser.yxx
   bison -t -o gecode/flatzinc/parser.tab.cpp -d gecode/flatzinc/parser.yxx
   mv gecode/flatzinc/parser.tab.hpp gecode/flatzinc/parser.tab.hh
   mv gecode/flatzinc/parser.tab.hpp gecode/flatzinc/parser.tab.hh
 Running it only once fixes the problem.
Author: Adrian Bunk <bunk@debian.org>
Bug-Debian: https://bugs.debian.org/863936

--- a/Makefile.in
+++ b/Makefile.in
@@ -1493,7 +1493,9 @@
 	flex -ogecode/flatzinc/lexer.yy.cpp \
 		$(top_srcdir)/gecode/flatzinc/lexer.lxx
 
-gecode/flatzinc/parser.tab.hpp gecode/flatzinc/parser.tab.cpp: \
+gecode/flatzinc/parser.tab.hpp: gecode/flatzinc/parser.tab.cpp
+
+gecode/flatzinc/parser.tab.cpp: \
 	$(top_srcdir)/gecode/flatzinc/parser.yxx
 	bison -t -o gecode/flatzinc/parser.tab.cpp -d $<
 else