diff --git a/build-relocatable-install.py b/build-relocatable-install.py index e0f50095b669c6c57f06c394ad4b4050601dcdab..87657f43fcd0bbd65ed53ef2b6526c0c6f9f997f 100755 --- a/build-relocatable-install.py +++ b/build-relocatable-install.py @@ -427,6 +427,15 @@ def main(): cwd=os.path.join(installation, 'sources'), ) + with open( + os.path.join(installation, 'sources', 'sources.txt'), 'w' + ) as writer: + writer.write( + '#Source\t#Version\n' + ) + for source in sorted(source_to_download): + writer.write(source.replace('=', '\t') + '\n') + if not args.apt_get_source: os.makedirs( os.path.join(installation, 'sources', 'pressure-vessel'),