aboutsummaryrefslogtreecommitdiff
path: root/scripts
diff options
context:
space:
mode:
authorHans-Christoph Steiner <eighthave@users.sourceforge.net>2011-11-10 01:33:00 +0000
committerHans-Christoph Steiner <eighthave@users.sourceforge.net>2011-11-10 01:33:00 +0000
commit9455167bc0fd5cf775421c13d10cab92c09a9f41 (patch)
tree0868a963d477983c0fd9afe3f73f33f3c054c683 /scripts
parent1d4ba2c4158a4ffc84bb23eb5ad2a9ee9eeb8c76 (diff)
clearer header
svn path=/trunk/; revision=15715
Diffstat (limited to 'scripts')
-rwxr-xr-xscripts/check-for-type-punning-warnings.py2
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 a108e369..68e99614 100755
--- a/scripts/check-for-type-punning-warnings.py
+++ b/scripts/check-for-type-punning-warnings.py
@@ -14,7 +14,7 @@ for log in glob.glob('/var/www/auto-build/' + date + '/logs/20*.txt'):
f = open(log, 'r')
logoutput.append('======================================================================\n')
logoutput.append(log + '\n')
- logoutput.append('======================================================================\n')
+ logoutput.append('--------------------------\n')
for line in f:
if line.find('warning: dereferencing type-punned pointer will break strict-aliasing rules') > -1:
logoutput.append(line.replace('/home/pd/auto-build/', '')