From d508e228b38e70c69939f9ae9ef084d0777a840d Mon Sep 17 00:00:00 2001 From: Owen W. Taylor Date: Mar 25 2019 20:15:43 +0000 Subject: generate-runtime-report.py: Handle files with a space in the name --- diff --git a/tools/generate-runtime-report.py b/tools/generate-runtime-report.py index 428067e..2ad9908 100755 --- a/tools/generate-runtime-report.py +++ b/tools/generate-runtime-report.py @@ -288,7 +288,7 @@ def add_packages(source, which, resolve_deps=False, only_if_exists=False): def add_package_files(filename, which): with open(filename) as f: for line in f: - f, p = line.strip().split() + f, p = line.strip().rsplit(' ', 1) f = f[:-1] # strip trailing : pkg = packages[p] old = getattr(pkg, which + '_files')