[Webkit-unassigned] [Bug 94303] [WK2] [GTK] build fails when the build dir is in a separate filesystem/mountpoint

[bugzilla-daemon at webkit.org]

https://bugs.webkit.org/show_bug.cgi?id=94303





--- Comment #4 from Carlos Garcia Campos <cgarcia at igalia.com>  2012-08-19 04:06:41 PST ---
The patch seems to break make distcheck indeed:

In file included from DerivedSources/WebKit2/webkit2gtk/webkit2/WebKitEnumTypes.cpp:6:0:
././DerivedSources/WebKit2/webkit2gtk/webkit2/WebKitEnumTypes.h:13:35: error fatal: webkit2/WebKitDefines.h: No existe el archivo o el directorio
compilación terminada.
  GEN    DerivedSources/webkit/webkitenumtypes.cpp
  GEN    stamp-webkitenumtypes.h
  CXXLD  libWTF.la
  CXX    DerivedSources/webkit/libwebkitgtk_3_0_la-webkitenumtypes.lo
  CXX    DerivedSources/WebCore/libWebCore_la-InspectorFrontend.lo
  CXX    DerivedSources/WebCore/libWebCore_la-InspectorTypeBuilder.lo
make[1]: *** [DerivedSources/WebKit2/webkit2gtk/webkit2/libwebkit2gtk_3_0_la-WebKitEnumTypes.lo] Error 1
make[1]: *** Se espera a que terminen otras tareas....
make[1]: se sale del directorio `/home/cgarcia/src/git/gnome/WebKit/WebKitBuild/webkit-1.9.6/_build'
make: *** [distcheck] Error 1

-- 
Configure bugmail: https://bugs.webkit.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.