kframework/k — pull request #1157 by dwightguth (2014-11-04 19:48:45+00:00)
Title: add option to run K with nailgun

@yilongli @osa1 please review

This pull request does not actually activate nailgun by default. In order to use nailgun, you must first set the K_NAILGUN environment variable. Once this is committed, I will experiment with the jenkins job to try to get it to run with nailgun.