python/lib/gen_external.py: sort generated files

diff --git a/python/lib/gen_external.py b/python/lib/gen_external.py
index d2115b5..d46c1f5 100644 (file)
--- a/python/lib/gen_external.py
+++ b/python/lib/gen_external.py
@@ -248,7 +248,7 @@ void add_generated_objects( PyObject *m );
         print ("wrote %s" % output_file )
         # no need to add header to list of sources
 
         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]
 
 if __name__ == '__main__':
     if len(sys.argv) > 1: header = sys.argv[1]