make copies of global lists before extending

[ardour.git] / libs / gtkmm2ext / wscript

diff --git a/libs/gtkmm2ext/wscript b/libs/gtkmm2ext/wscript
index b7545c33c51221e74772735247b734ff7fc5a0f4..1832d6a03e05268ee58e87d66459c9e2c4499a09 100644 (file)
--- a/libs/gtkmm2ext/wscript
+++ b/libs/gtkmm2ext/wscript
@@ -84,7 +84,8 @@ def configure(conf):
 
 
 def build(bld):
-    sources = gtkmm2ext_sources
+    # operate on copy to avoid adding sources twice
+    sources = list(gtkmm2ext_sources)
     if bld.is_tracks_build():
         sources += [ 'waves_fastmeter.cc', 'fader.cc' ]
     else: