diff options
| author | Evgeny Khramtsov <xramtsov@gmail.com> | 2013-07-24 06:01:45 -0700 |
|---|---|---|
| committer | Evgeny Khramtsov <xramtsov@gmail.com> | 2013-07-24 06:01:45 -0700 |
| commit | 06bb10a0327e9bf7ce9cb43637f68b02147f95d3 (patch) | |
| tree | 204cc1f906b2e4e2f8b7eae8bdef05dcf89fc82c | |
| parent | Fix timestamp processing (diff) | |
| parent | Fix version check (diff) | |
Merge pull request #85 from imtal/patch-1
Fix version check
| -rw-r--r-- | m4/erlang-extra.m4 | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/m4/erlang-extra.m4 b/m4/erlang-extra.m4 index c0716323e..4a7311bad 100644 --- a/m4/erlang-extra.m4 +++ b/m4/erlang-extra.m4 @@ -50,6 +50,10 @@ parse(Version) -> less_or_equal([[]], [[]]) -> true; +less_or_equal([[]], _Any) -> + true; +less_or_equal(_Any, [[]]) -> + false; less_or_equal([[Left| Rl]], [[Right| Rr]]) -> case {Left < Right, Left == Right} of {true, _} -> |