diff --git a/JNI/.gitignore b/JNI/.gitignore index 941c07abea..e614fbbef9 100644 --- a/JNI/.gitignore +++ b/JNI/.gitignore @@ -1,3 +1,2 @@ bin gen -*.properties \ No newline at end of file diff --git a/JNI/project.properties b/JNI/project.properties new file mode 100644 index 0000000000..c57400d008 --- /dev/null +++ b/JNI/project.properties @@ -0,0 +1,12 @@ +# This file is automatically generated by Android Tools. +# Do not modify this file -- YOUR CHANGES WILL BE ERASED! +# +# This file must be checked in Version Control Systems. +# +# To customize properties used by the Ant build system use, +# "ant.properties", and override values to adapt the script to your +# project structure. + +android.library=true +# Project target. +target=android-19