From 8e394ffcf40307482f19b32b48eb9fc3a7630dfd Mon Sep 17 00:00:00 2001
From: Adrian Velicu <adrianv@google.com>
Date: Sat, 8 Nov 2014 10:35:37 +0900
Subject: [PATCH] Making 'dicttool header' output format version
Change-Id: I4198f6b463711feb4ab78020934cca4d23870fbb
---
.../src/com/android/inputmethod/latin/dicttool/Header.java | 1 +
1 file changed, 1 insertion(+)
diff --git a/tools/dicttool/src/com/android/inputmethod/latin/dicttool/Header.java b/tools/dicttool/src/com/android/inputmethod/latin/dicttool/Header.java
index 51efdec339..ba96c0aebf 100644
--- a/tools/dicttool/src/com/android/inputmethod/latin/dicttool/Header.java
+++ b/tools/dicttool/src/com/android/inputmethod/latin/dicttool/Header.java
@@ -62,6 +62,7 @@ public class Header extends Dicttool.Command {
System.out.println("Dictionary : " + dictFile.getAbsolutePath());
System.out.println("Size : " + dictFile.length() + " bytes");
System.out.println("Format : Binary dictionary format");
+ System.out.println("Format version : " + header.mFormatOptions.mVersion);
System.out.println("Packaging : " + spec.describeChain());
System.out.println("Header attributes :");
System.out.print(header.mDictionaryOptions.toString(2 /* indentCount */, plumbing));
--
GitLab