gomezgoiri/CLIPS4Android — pull request #4 by Inversebit (2014-02-06 14:44:32+00:00)
Title: Solved issue #3

I don't really like the solution as consequences cannot be predicted.

But taking into account that the line which causes the problem is a quick patch, this should be acceptable for now.

Thanks to this addition I can now finish ndk-build compilation on Linux Mint 16 x86_64.