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 4a1e2c04..d3ea70e3 100755 --- a/scripts/check-for-type-punning-warnings.py +++ b/scripts/check-for-type-punning-warnings.py @@ -10,7 +10,7 @@ outputfilename = 'type-punning.log' logoutput = [] -for log in glob.glob('/var/www/auto-build/' + date + '/logs/20*.txt'): +for log in glob.glob('/home/apt/www/auto-build/' + date + '/logs/20*.txt'): f = open(log, 'r') logoutput.append('======================================================================\n') logoutput.append(log + '\n') |