[gnome-builder] make: fix detection of make directory
- From: Christian Hergert <chergert src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-builder] make: fix detection of make directory
- Date: Wed, 5 Jun 2019 01:32:01 +0000 (UTC)
commit 838b4698b3b28f919f70f7045492557b8bf4ddbe
Author: Christian Hergert <chergert redhat com>
Date: Tue Jun 4 18:29:47 2019 -0700
make: fix detection of make directory
src/plugins/make/make_plugin.py | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
---
diff --git a/src/plugins/make/make_plugin.py b/src/plugins/make/make_plugin.py
index 5eca0760d..ca73f2c8b 100644
--- a/src/plugins/make/make_plugin.py
+++ b/src/plugins/make/make_plugin.py
@@ -40,10 +40,10 @@ class MakeBuildSystem(Ide.Object, Ide.BuildSystem):
run_args = None
def do_parent_set(self, parent):
- if self.project_file.get_basename() == 'Makefile':
- self.make_dir = project_file.get_parent()
- elif self.project_file.query_file_type(0, None) == Gio.FileType.DIRECTORY:
+ if self.project_file.query_file_type(0, None) == Gio.FileType.DIRECTORY:
self.make_dir = self.project_file
+ else:
+ self.make_dir = self.project_file.get_parent()
def do_get_id(self):
return 'make'
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]