--- synergy-1.4.17-work/ext/toolchain/commands1.py.orig	2014-03-28 12:31:04.658554300 +0000
+++ synergy-1.4.17-work/ext/toolchain/commands1.py	2014-03-28 12:31:35.371625300 +0000
@@ -737,7 +737,7 @@
 		
 		if sys.platform == 'win32':
 			gui_make_cmd = self.w32_make_cmd
-		elif sys.platform in ['linux2', 'sunos5', 'freebsd7', 'darwin']:
+		elif sys.platform in ['linux2', 'sunos5', 'freebsd7', 'darwin', 'cygwin']:
 			gui_make_cmd = self.make_cmd + " -w"
 		else:
 			raise Exception('Unsupported platform: ' + sys.platform)
@@ -1475,7 +1475,7 @@
 	def get_generators(self):
 		if sys.platform == 'win32':
 			return self.win32_generators
-		elif sys.platform in ['linux2', 'sunos5', 'freebsd7', 'aix5']:
+		elif sys.platform in ['linux2', 'sunos5', 'freebsd7', 'aix5', 'cygwin']:
 			return self.unix_generators
 		elif sys.platform == 'darwin':
 			return self.darwin_generators