kframework/k — pull request #1052 by osa1 (2014-10-09 20:45:35+00:00)
Title: a ktest bug

This fixes a bug.

KTest tries to compile the file if `--skip kompile` is provided, but definition is not kompiled. (e.g. `-kompiled` directory doesn't exist)

Previously it was ignoring `-d` argument specified in `` in config files and was looking to the directory that definition file resides. With this patch it's now reading `-d` and checking correct place to see if definition is not compiled yet.