diff options
Diffstat (limited to 'scripts/check-for-type-punning-warnings.py')
-rwxr-xr-x | scripts/check-for-type-punning-warnings.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/check-for-type-punning-warnings.py b/scripts/check-for-type-punning-warnings.py index 84637500..93f564d2 100755 --- a/scripts/check-for-type-punning-warnings.py +++ b/scripts/check-for-type-punning-warnings.py @@ -35,7 +35,7 @@ mailoutput.append('To: ' + toaddr + '\n') mailoutput.append('Subject: type-punning warnings ' + date + '\n\n\n') mailoutput.append('______________________________________________________________________\n\n') mailoutput.append('Complete log:\n') -mailoutput.append('http://autobuild.puredata.info/auto-build/' + date + '/' +mailoutput.append('http://autobuild.puredata.info/auto-build/' + date + '/logs/' + outputfilename + '\n') |