+termux_step_pre_configure() {
+ if [ "$TERMUX_ARCH" == "arm" ]; then
+ # valgrind doesn't like arm; armv7 works, though.
+ TERMUX_PKG_EXTRA_CONFIGURE_ARGS+=" --host=armv7-linux-androideabi"
+ # http://lists.busybox.net/pipermail/buildroot/2013-November/082270.html:
+ # "valgrind uses inline assembly that is not Thumb compatible":
+ CFLAGS=${CFLAGS/-mthumb/}
+ fi
+}