diff options
| author | mjdenkowski <michael.j.denkowski@gmail.com> | 2014-03-31 18:09:58 -0400 |
|---|---|---|
| committer | mjdenkowski <michael.j.denkowski@gmail.com> | 2014-03-31 18:09:58 -0400 |
| commit | dd47fa25dbd8e59866cbfa7c5603f3ee3db3d1a0 (patch) | |
| tree | 9a7acd9200e32f8924ba1485bd6aa8a0d574b842 /realtime/rt | |
| parent | 8372086f2fc4bd765fdd05e8cf95faeb147a6587 (diff) | |
Include new bilex file
Diffstat (limited to 'realtime/rt')
| -rw-r--r-- | realtime/rt/util.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/realtime/rt/util.py b/realtime/rt/util.py index a7333bbd..8cd41a1e 100644 --- a/realtime/rt/util.py +++ b/realtime/rt/util.py @@ -10,6 +10,7 @@ SA_INI_FILES = set(( 'a_file', 'lex_file', 'precompute_file', + 'bilex_file', )) class FIFOLock: |