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
commitd2cc18ac0457609d179d158b7ff952e7fec9026c (patch)
tree52f7e747972cc39d1304d4dc3d03213a3bf4c4ca /mira
parent22d2f3ce5bd3fae2db9744eb66f7b8c3996265d6 (diff)
parentbc52c53ec2872a0e41b830308f11400d77b38e76 (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 ;