summaryrefslogtreecommitdiff
path: root/mira
diff options
context:
space:
mode:
authorPatrick Simianer <simianer@cl.uni-heidelberg.de>2012-05-21 11:41:22 +0200
committerPatrick Simianer <simianer@cl.uni-heidelberg.de>2012-05-21 11:41:22 +0200
commitbece5794a24e1f6a56bf6de2f612d16e60b2f2f9 (patch)
treee850b97e49f849fcc7b84b57822554b64efd7900 /mira
parent47e9deff1c2cbd104d6e2822703cc83df625d8aa (diff)
parentdcbf1cd5808fb33365d739d35dbf87f036f4a999 (diff)
Merge remote-tracking branch 'upstream/master'
Diffstat (limited to 'mira')
-rw-r--r--mira/Jamfile1
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 ;