[GTK] make dist is broken
[WebKit-https.git] / Source / PlatformGTK.cmake
index 0703f763362996a52da78d7541e4f081555ba61f..298adfa1db88b2cefd30dbb680292838584d0b6d 100644 (file)
@@ -47,7 +47,7 @@ add_custom_target(check
     COMMAND ${TOOLS_DIR}/gtk/check-for-webkitdom-api-breaks
 )
 
     COMMAND ${TOOLS_DIR}/gtk/check-for-webkitdom-api-breaks
 )
 
-if (ENABLE_WEBKIT AND ENABLE_WEBKIT2)
+if (ENABLE_WEBKIT2)
     add_custom_command(
         OUTPUT ${CMAKE_BINARY_DIR}/webkitgtk-${PROJECT_VERSION}.tar
         DEPENDS ${TOOLS_DIR}/gtk/make-dist.py
     add_custom_command(
         OUTPUT ${CMAKE_BINARY_DIR}/webkitgtk-${PROJECT_VERSION}.tar
         DEPENDS ${TOOLS_DIR}/gtk/make-dist.py