From 7b85f304cf4408b83bbf768ff103c9ec8fe61efa Mon Sep 17 00:00:00 2001
From: Timothee Besset <ttimo@ttimo.net>
Date: Sun, 9 Jun 2013 21:44:48 +0100
Subject: [PATCH] create install\x64

---
 config.py | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/config.py b/config.py
index ba8f27e4..67b2584d 100644
--- a/config.py
+++ b/config.py
@@ -353,7 +353,11 @@ class Config:
 				'gtkglext-1.2.0/share',
 				]:
 				self.CopyTree( os.path.join( srcdir, extra ), 'install' )
-
+			
+			try:
+				os.mkdir( 'install/x64' )
+			except:
+				pass # assume 'already exists'
 			for x64_dll in [
 				'%s/bin/libpng14-14.dll' % GTK64_PREFIX,
 				'%s/bin/libglib-2.0-0.dll' % GTK64_PREFIX,