diff options
Diffstat (limited to 'src/configure')
| -rwxr-xr-x | src/configure | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/configure b/src/configure index 6165bb5d8..3468e35c9 100755 --- a/src/configure +++ b/src/configure @@ -2471,7 +2471,7 @@ else fi - if test "z$ERLC" == "z" || test "z$ERL" == "z"; then + if test "z$ERLC" = "z" || test "z$ERL" = "z"; then { { echo "$as_me:$LINENO: error: erlang not found" >&5 echo "$as_me: error: erlang not found" >&2;} { (exit 1); exit 1; }; } |