mirror of
https://github.com/jerryscript-project/jerryscript.git
synced 2026-02-07 14:23:18 +00:00
Several non-script files have been added with exec permission to the repository. This patch revokes the erroneous permissions. JerryScript-DCO-1.0-Signed-off-by: Akos Kiss akiss@inf.u-szeged.hu
8 lines
135 B
Plaintext
8 lines
135 B
Plaintext
CONFIG_STDOUT_CONSOLE=y
|
|
CONFIG_NEWLIB_LIBC=y
|
|
CONFIG_FLOAT=y
|
|
CONFIG_CONSOLE_HANDLER=y
|
|
CONFIG_CONSOLE_HANDLER_SHELL=y
|
|
CONFIG_ARC_INIT=n
|
|
|