mirror of
https://github.com/jerryscript-project/jerryscript.git
synced 2025-12-15 16:29:21 +00:00
714e8d261b
Previously, jerry-core was built with various build identification info (build date, git commit hash, git branch name), which was both available from string constants of the library and also exposed by jerry-main via the `--version` command line option. As of late, jerry-core identifies itself only with API version number macros, but sometimes it could be helpful to get access to the git commit hash as well, even if that info does not become part of the API. This patch moves the git commit hash retrieval logic from the build scripts of jerry-core to jerry-main, and changes `--version` handler to print the hash as well. Resolves #1295 JerryScript-DCO-1.0-Signed-off-by: Akos Kiss akiss@inf.u-szeged.hu