kframework/k — pull request #69 by daejunpark (2013-10-07 02:37:54+00:00)
Title: Prevent kompile from creating multiple kompiled definitions in the same directory

Also, krun doesn't come into action when there are multiple kompiled definitions in the same directory.