andrewoma/kotlin-script — pull request #5 by chocolateboy (2013-05-24 07:34:08+00:00)
Title: Revert "support new (required) Preloader option: time|notime"

This reverts commit 11a47a147050f35d34186e65ee4079fbf75f7339.

Optional handling of an option that enables preloader profiling (-pp) has been [implemented in the kotlin compiler scripts](https://github.com/JetBrains/kotlin/commit/1bf06f7c02e7dc7bc68824926bd7f4174b780986), so this commit no longer works and can be reverted.