diff -r e3ec560a2a5c -r a03acd98c6c8 Debugger/DebugUI.py
--- a/Debugger/DebugUI.py Fri Apr 13 18:56:08 2018 +0200
+++ b/Debugger/DebugUI.py Fri Apr 13 18:57:56 2018 +0200
@@ -38,6 +38,8 @@
@signal compileForms() emitted if changed project forms should be compiled
@signal compileResources() emitted if changed project resources should be
compiled
+ @signal executeMake() emitted if a project specific make run should be
+ performed
@signal debuggingStarted(filename) emitted when a debugging session was
started
@signal resetUI() emitted to reset the UI
@@ -1540,6 +1542,8 @@
self.compileForms.emit()
if Preferences.getProject("AutoCompileResources"):
self.compileResources.emit()
+ if Preferences.getProject("AutoExecuteMake"):
+ self.executeMake.emit()
QApplication.processEvents()
def __coverageScript(self):
