From 6ebc2cf70bf725469f49c8a375cc5b9000556975 Mon Sep 17 00:00:00 2001
From: Andrey Breslav <andrey.breslav@jetbrains.com>
Date: Tue, 7 May 2013 08:39:43 +0300
Subject: [PATCH] Parsing "notime" fixed

---
 .../preloader/src/org/jetbrains/jet/preloading/Preloader.java   | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/compiler/preloader/src/org/jetbrains/jet/preloading/Preloader.java b/compiler/preloader/src/org/jetbrains/jet/preloading/Preloader.java
index 36f3f198a7a..4c32ea9ccce 100644
--- a/compiler/preloader/src/org/jetbrains/jet/preloading/Preloader.java
+++ b/compiler/preloader/src/org/jetbrains/jet/preloading/Preloader.java
@@ -74,7 +74,7 @@ public class Preloader {
 
     private static boolean parseMeasureTime(String arg) {
         if ("time".equals(arg)) return true;
-        if ("notime".equals(arg)) return true;
+        if ("notime".equals(arg)) return false;
         System.out.println("Unrecognized argument: " + arg);
         printUsageAndExit();
         return false;