ref: ee7e543ea5d684c20f083b0259056d74b0a87bc4
parent: e9df01082af2cd83a4752bfddf57464f9eabb611
author: Paul Brossier <piem@piem.org>
date: Fri Dec 16 08:05:03 EST 2016
python/lib/gen_external.py: sort generated files
--- a/python/lib/gen_external.py
+++ b/python/lib/gen_external.py
@@ -248,7 +248,7 @@
print ("wrote %s" % output_file )
# no need to add header to list of sources
- return sources_list
+ return sorted(sources_list)
if __name__ == '__main__':
if len(sys.argv) > 1: header = sys.argv[1]