Logo
Explore Help
Register Sign In
archive-gh-me/jerryscript
1
0
Fork 0
You've already forked jerryscript
mirror of https://github.com/jerryscript-project/jerryscript.git synced 2025-12-15 16:29:21 +00:00
Code Issues Projects Releases Wiki Activity
jerryscript/tools
History
Ruben Ayrapetyan 9b9e537d35 Printing memory consumption notes in tools/log.sh (make log).
JerryScript-DCO-1.0-Signed-off-by: Ruben Ayrapetyan r.ayrapetyan@samsung.com
2015-04-30 18:54:51 +03:00
..
cppcheck
Fixing scripts and configuration of cppcheck and vera++, adding some vera++ rules.
2015-04-30 15:16:35 +03:00
git-scripts
Printing memory consumption notes in tools/log.sh (make log).
2015-04-30 18:54:51 +03:00
runners
Fixing bash scripts: moving '#!/bin/bash' to top.
2015-04-29 20:36:41 +03:00
vera++
Fixing scripts and configuration of cppcheck and vera++, adding some vera++ rules.
2015-04-30 15:16:35 +03:00
generator.sh
Fixing tools/generator.sh: escaping '"' character.
2015-04-29 20:38:44 +03:00
mem_stats.sh
Fixing RSS measurement in tools/mem_stats.sh: using mem_stats build for heap usage statistics and non-mem_stats build for RSS measurement.
2015-04-30 18:54:51 +03:00
perf-compare.sh
Fixing bash scripts: moving '#!/bin/bash' to top.
2015-04-29 20:36:41 +03:00
perf.sh
Fixing bash scripts: moving '#!/bin/bash' to top.
2015-04-29 20:36:41 +03:00
precommit.sh
Fixing scripts and configuration of cppcheck and vera++, adding some vera++ rules.
2015-04-30 15:16:35 +03:00
prerequisites.sh
Adding script for automatic download of prerequisites.
2015-04-30 15:16:31 +03:00
rss-measure.sh
Removing measurements of metrics other than maximum RSS of non-executable areas from tools/rss_measure.sh.
2015-04-30 18:54:50 +03:00
Powered by Gitea Version: 1.23.5 Page: 43ms Template: 5ms
English
Bahasa Indonesia Deutsch English Español Français Gaeilge Italiano Latviešu Magyar nyelv Nederlands Polski Português de Portugal Português do Brasil Suomi Svenska Türkçe Čeština Ελληνικά Български Русский Українська فارسی മലയാളം 日本語 简体中文 繁體中文(台灣) 繁體中文(香港) 한국어
Licenses API