diff options
| author | tjeerd <tjeerd@yolt.nl> | 2013-07-24 14:47:32 +0200 |
|---|---|---|
| committer | tjeerd <tjeerd@yolt.nl> | 2013-07-24 14:47:32 +0200 |
| commit | 3e2f9dc6b0a61c168d525b31ddbca73eebf528a3 (patch) | |
| tree | 204cc1f906b2e4e2f8b7eae8bdef05dcf89fc82c | |
| parent | Fix timestamp processing (diff) | |
Fix version check
Not all Erlang versions are of equal length. Added clauses to handle this.
| -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, _} -> |