synergy/synergy — pull request #4267 by neilmayhew (2014-12-06 09:36:48+00:00)
Title: Remember skip-gui and skip-core options in config

This enables them to be used when building without having to specify
them again as options to the build step