Merge pull request #746 from madewokherd/sgenbuild
authorRodrigo Kumpera <kumpera@gmail.com>
Thu, 29 Aug 2013 21:46:17 +0000 (14:46 -0700)
committerRodrigo Kumpera <kumpera@gmail.com>
Thu, 29 Aug 2013 21:46:17 +0000 (14:46 -0700)
Fix non-sgen builds.


Trivial merge