From ee7e543ea5d684c20f083b0259056d74b0a87bc4 Mon Sep 17 00:00:00 2001
From: Paul Brossier <piem@piem.org>
Date: Fri, 16 Dec 2016 13:05:03 +0100
Subject: [PATCH] python/lib/gen_external.py: sort generated files

---
 python/lib/gen_external.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/python/lib/gen_external.py b/python/lib/gen_external.py
index d2115b5b..d46c1f59 100644
--- 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
 
-    return sources_list
+    return sorted(sources_list)
 
 if __name__ == '__main__':
     if len(sys.argv) > 1: header = sys.argv[1]
-- 
2.11.0