diff options
Diffstat (limited to 'audio/csound/files/patch-main_c')
| -rw-r--r-- | audio/csound/files/patch-main_c | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/audio/csound/files/patch-main_c b/audio/csound/files/patch-main_c new file mode 100644 index 000000000000..e9790315f4e1 --- /dev/null +++ b/audio/csound/files/patch-main_c @@ -0,0 +1,13 @@ +--- main.c.orig Wed Sep 20 10:06:29 2000 ++++ main.c Wed Oct 11 16:16:56 2000 +@@ -150,10 +150,6 @@ + } + } + +-void psignal(int sig, char *str) +-{ +- fprintf(stderr, "%s: %s\n", str, sig2str(sig)); +-} + #endif + + static void signal_handler(int sig) |