[webkit-dev] Gtk Linux 32btis Release needs a full build.

[Antonio Gomes]

Building has been failing on it since the WebKitTools -> Tools rename (r74301).

(...)
make: *** No rule to make target `../../WebKitTools/GNUmakefile.am',
needed by `../../GNUmakefile.in'.  Stop.

Failed to build WebKit using 'make'!
program finished with exit code 2
elapsedTime=10.943262
(...)


"GTK Linux 32-bit Debug" and "GTK Linux 64-bit Debug" are ok though.


-- 
--Antonio Gomes