blob: fda4ba7fcc25ba196402594f1f7dff7bb18f38be (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
if [ "X$(basename -- "$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
|