From bea041110777ad0bb618b4c5cf33076ce44ab1b9 Mon Sep 17 00:00:00 2001 From: Christian Kandeler Date: Tue, 8 May 2012 12:51:52 +0200 Subject: [PATCH] Fix build: Add missing dependency for resource editor. Change-Id: Ifde220d33f73501cc05079e30f4610530eb910ab Reviewed-by: Eike Ziller --- src/plugins/plugins.pro | 1 + 1 file changed, 1 insertion(+) diff --git a/src/plugins/plugins.pro b/src/plugins/plugins.pro index 4effcd3d1a2..14906a56480 100644 --- a/src/plugins/plugins.pro +++ b/src/plugins/plugins.pro @@ -212,6 +212,7 @@ plugin_help.depends += plugin_coreplugin plugin_resourceeditor.subdir = resourceeditor plugin_resourceeditor.depends = plugin_coreplugin +plugin_resourceeditor.depends = plugin_find plugin_regexp.subdir = regexp plugin_regexp.depends = plugin_coreplugin