[gnome-builder/gnome-builder-3-32] make: fix detection of make directory
- From: Christian Hergert <chergert src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-builder/gnome-builder-3-32] make: fix detection of make directory
- Date: Wed, 5 Jun 2019 01:31:31 +0000 (UTC)
commit 1a33f959866727e216253e17a3ed0e1b47fb388a
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]