diff options
Diffstat (limited to 'scripts/check_jni_methods.sh')
| -rwxr-xr-x | scripts/check_jni_methods.sh | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/scripts/check_jni_methods.sh b/scripts/check_jni_methods.sh index ffdc7b571..4cc00cc17 100755 --- a/scripts/check_jni_methods.sh +++ b/scripts/check_jni_methods.sh @@ -2,8 +2,6 @@ # Fail if any command fails set -e -# Don't override existing files -set -C TMPFILE=/tmp/check-jni-methods.$$.1 TMPFILE2=/tmp/check-jni-methods.$$.2 |