diff options
Diffstat (limited to 'morphlib/util.py')
-rw-r--r-- | morphlib/util.py | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/morphlib/util.py b/morphlib/util.py index 16e56366..90ad425e 100644 --- a/morphlib/util.py +++ b/morphlib/util.py @@ -58,6 +58,15 @@ def indent(string, spaces=4): return '\n'.join(lines) +def strip_morph_extension(morph_name): + if morph_name.startswith('.'): + raise morphlib.Error( + 'Invalid morphology name: %s' % morph_name) + elif morph_name.endswith('.morph'): + return morph_name[:-len('.morph')] + return morph_name + + def make_concurrency(cores=None): '''Return the number of concurrent jobs for make. |