We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent a38e9ce commit 665b1e8Copy full SHA for 665b1e8
otp_build
@@ -137,11 +137,11 @@ check_erltop ()
137
echo "The environment variable ERL_TOP must be set." >&2
138
exit 1
139
fi
140
- else
+ elif [ "X$1" != "Xtests" ]
141
real_ERL_TOP=`realpath $ERL_TOP`
142
real_PWD=`realpath $PWD`
143
if [ "X${real_PWD##$real_ERL_TOP*}" != "X" ]; then
144
- echo "Current working directory is not in ERL_TOP." >&2
+ echo "ERROR: Current working directory is not in ERL_TOP." >&2
145
echo "ERL_TOP=$ERL_TOP" >&2
146
echo "PWD=$PWD" >&2
147
@@ -1360,7 +1360,7 @@ do_remove_prebuilt_files ()
1360
1361
# main
1362
1363
-check_erltop
+check_erltop $1
1364
1365
cd "$ERL_TOP"
1366
0 commit comments