Merge branch 'master' of eng-git.canterbury.ac.nz:mph/ucfk4

12 years ago · 8104a4b6cf
parent 908661bef7 f66d6c0770
commit 8104a4b6cf
1 changed files with 1 additions and 2 deletions
--- a/etc/makemake.py
+++ b/etc/makemake.py
@ -273,8 +273,7 @@ def functions_find (filepath, functiondeps, functions, options):
    os.system (command)

    version = subprocess_command(options.compile + ' -dumpversion')
-    version_parts = version.split('.')
-    if version_parts[0] >= '5':
+    if version > '4.5.3':
        ext = '.014t.cfg'
    else:
        ext = '.012t.cfg'