diff options
Diffstat (limited to 'mira/Jamfile')
| -rw-r--r-- | mira/Jamfile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/mira/Jamfile b/mira/Jamfile new file mode 100644 index 00000000..8825b887 --- /dev/null +++ b/mira/Jamfile @@ -0,0 +1 @@ +exe kbest_mira : kbest_mira.cc ..//decoder ; |