diff options
Diffstat (limited to 'editors/zoinks/files/patch-ide-TProjectDocument.cpp')
| -rw-r--r-- | editors/zoinks/files/patch-ide-TProjectDocument.cpp | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/editors/zoinks/files/patch-ide-TProjectDocument.cpp b/editors/zoinks/files/patch-ide-TProjectDocument.cpp new file mode 100644 index 000000000000..35ebfc4aa48c --- /dev/null +++ b/editors/zoinks/files/patch-ide-TProjectDocument.cpp @@ -0,0 +1,11 @@ +--- ide/TProjectDocument.cpp.orig 2007-11-04 22:37:49.000000000 +0100 ++++ ide/TProjectDocument.cpp 2007-11-04 22:38:02.000000000 +0100 +@@ -539,7 +539,7 @@ + chdir(workingDirectory); + + const char* command = fExternalDebuggerCommand; +- execl("/bin/sh", "sh", "-c", command, NULL); ++ execl("/bin/sh", "sh", "-c", command, (char *)NULL); + } + else if (pid < 0) + ThrowSystemError(pid); |