diff -r 0a74c1efab70 -r 0daf79d65080 Debugger/DebugUI.py --- a/Debugger/DebugUI.py Mon Apr 02 12:04:56 2018 +0200 +++ b/Debugger/DebugUI.py Tue May 01 12:03:52 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 @@ -51,6 +53,7 @@ exceptionInterrupt = pyqtSignal() compileForms = pyqtSignal() compileResources = pyqtSignal() + executeMake = pyqtSignal() debuggingStarted = pyqtSignal(str) appendStdout = pyqtSignal(str) @@ -1540,6 +1543,8 @@ self.compileForms.emit() if Preferences.getProject("AutoCompileResources"): self.compileResources.emit() + if Preferences.getProject("AutoExecuteMake"): + self.executeMake.emit() QApplication.processEvents() def __coverageScript(self):