kframework/k — pull request #892 by dwightguth (2014-08-27 22:34:10+00:00)
Title: fix race condition on kompiled directory

@andreistefanescu please review