blob: 78f132e20db4b6587e5e396f8ced36683a2f43b9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
if [ "X$(basename -z -- "$0")" "==" "Xzjs-env.sh" ]; then
echo "Source this file (do NOT execute it!) to set up the ZJS dev environment."
exit
fi
# identify ZJS source tree root directory
export ZJS_BASE=$( builtin cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )
echo ZJS_BASE: $ZJS_BASE
# identify JerryScript source tree root directory
if [ "X$JERRY_BASE" != "X" ]; then
echo JERRY_BASE: $JERRY_BASE
fi
# add scripts/ subdirectory to PATH
scripts_path=${ZJS_BASE}/scripts
echo "${PATH}" | grep -q "${scripts_path}"
[ $? != 0 ] && export PATH=${scripts_path}:${PATH}
unset scripts_path
|