archive-gh-me/jerryscript
1
0
Fork 0
mirror of https://github.com/jerryscript-project/jerryscript.git synced 2026-01-30 22:46:25 +00:00
Code Issues Projects Releases Wiki Activity

Temporaly remove sanitize builds from precommit(until fixed), fix mistype in rss_measure.sh

Browse Source
This commit is contained in:
e.gavrin 2014-08-08 11:22:07 +04:00
parent af61b73a3e
commit 6506147ebb
2 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
Makefile
View File

@ -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

2
tools/rss_measure.sh
View File

@ -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 ===================