From 6506147ebbb4a3157f8dcfa488f94163f0ea036c Mon Sep 17 00:00:00 2001
From: "e.gavrin" <e.gavrin@samsung.com>
Date: Fri, 8 Aug 2014 11:22:07 +0400
Subject: [PATCH] Temporaly remove sanitize builds from precommit(until fixed),
 fix mistype in rss_measure.sh

---
 Makefile             | 8 ++++----
 tools/rss_measure.sh | 2 +-
 2 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/Makefile b/Makefile
index 1c10d1927..dfa29766d 100644
--- a/Makefile
+++ b/Makefile
@@ -76,17 +76,17 @@ build: clean $(JERRY_TARGETS)
 
 all: precommit
 
-PRECOMMIT_CHECK_TARGETS_LIST= debug.linux-sanitize.check \
-                              debug.linux-valgrind.check \
+PRECOMMIT_CHECK_TARGETS_LIST= debug.linux-valgrind.check \
                               debug.linux-musl-valgrind.check \
-                              debug_release.linux-sanitize.check \
                               debug_release.linux-valgrind.check \
                               debug_release.linux-musl.check \
-                              release.linux-sanitize.check \
                               release.linux-musl-valgrind.check \
                               release.linux-valgrind.check \
                               release.linux.check
 
+                              #debug.linux-sanitize.check \
+                              release.linux-sanitize.check \
+                              debug_release.linux-sanitize.check
 push: ./tools/push.sh
 	@ ./tools/push.sh
 
diff --git a/tools/rss_measure.sh b/tools/rss_measure.sh
index 1557ae179..cb3c64186 100755
--- a/tools/rss_measure.sh
+++ b/tools/rss_measure.sh
@@ -62,5 +62,5 @@ echo -e $RSS_OUTPUT | awk '{ if ($1 != "") { sum += $1; n += 1; if ($1 > max) {
 echo -e $PSS_OUTPUT | awk '{ if ($1 != "") { sum += $1; n += 1; if ($1 > max) { max = $1; } } } END { printf "Pss average:\t\t%f Kb\tPss max: %d Kb\n", sum / n, max; }'
 echo -e $SHARE_OUTPUT | awk '{ if ($1 != "") { sum += $1; n += 1; if ($1 > max) { max = $1; } } } END { printf "Share average:\t\t%f Kb\tShare max: %d Kb\n", sum / n, max; }'
 echo -e "---"
-echo -e "Exec time:\t\t"$EXEC_TIME "secs"
+echo -e "Exec time:\t\t$EXEC_TIME secs"
 echo ===================