tree dcc141d3331034264a0d8e98f5dee45d8e40d557
parent 71be9371f285df3b1aa64dfbae7e0f8853024565
author Sen Jiang <senj@google.com> 1503010834 -0700
committer Sen Jiang <senj@google.com> 1503450612 +0000

Fix divsufsort64.h not found error in Android.

Test: mma
Change-Id: I9d27d3cfe8cd8484a8eb945ef9626f6f4bef02ab