diff options
author | Kenneth Heafield <github@kheafield.com> | 2011-11-17 23:26:37 +0400 |
---|---|---|
committer | Kenneth Heafield <github@kheafield.com> | 2011-11-17 23:26:37 +0400 |
commit | 67b71829c5df2fa598d91bdd83f736f075780b6d (patch) | |
tree | 02aeed59a142749f4f4d0d6a86128cc9a20eba34 /regenerate-makefiles.sh | |
parent | 974a708dddab2b4c6836a176d95f8455d0ed5f51 (diff) |
Remove --without-kenlm. Again.
Diffstat (limited to 'regenerate-makefiles.sh')
-rwxr-xr-x | regenerate-makefiles.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/regenerate-makefiles.sh b/regenerate-makefiles.sh index e152ba2fc..7c7ba4990 100755 --- a/regenerate-makefiles.sh +++ b/regenerate-makefiles.sh @@ -93,7 +93,7 @@ fi echo echo "You should now be able to configure and build:" -echo " ./configure [--with-srilm=/path/to/srilm] [--with-irstlm=/path/to/irstlm] [--with-randlm=/path/to/randlm] [--without-kenlm] [--with-synlm] [--with-xmlrpc-c=/path/to/xmlrpc-c-config]" +echo " ./configure [--with-srilm=/path/to/srilm] [--with-irstlm=/path/to/irstlm] [--with-randlm=/path/to/randlm] [--with-synlm] [--with-xmlrpc-c=/path/to/xmlrpc-c-config]" echo " make -j ${cores}" echo |