From d9b4d83be06e856028630046f5f226e38a35cdc5 Mon Sep 17 00:00:00 2001 From: marscher Date: Mon, 9 Feb 2015 17:54:26 +0100 Subject: [PATCH] [eclipse] build extensions in place --- .externalToolBuilders/build_extensions.launch | 9 +++++++++ .project | 10 ++++++++++ 2 files changed, 19 insertions(+) create mode 100644 .externalToolBuilders/build_extensions.launch diff --git a/.externalToolBuilders/build_extensions.launch b/.externalToolBuilders/build_extensions.launch new file mode 100644 index 000000000..452abe3c4 --- /dev/null +++ b/.externalToolBuilders/build_extensions.launch @@ -0,0 +1,9 @@ + + + + + + + + + diff --git a/.project b/.project index f01638c0e..a15375e53 100644 --- a/.project +++ b/.project @@ -10,6 +10,16 @@ + + org.eclipse.ui.externaltools.ExternalToolBuilder + full,incremental, + + + LaunchConfigHandle + <project>/.externalToolBuilders/build_extensions.launch + + + org.python.pydev.pythonNature