diff --git a/.ci/memcheck.sh b/.ci/memcheck.sh deleted file mode 100755 index f5ce49683..000000000 --- a/.ci/memcheck.sh +++ /dev/null @@ -1,43 +0,0 @@ -#!/bin/sh -# -# This file is part of the Zephir. -# -# (c) Phalcon Team -# -# For the full copyright and license information, please view -# the LICENSE file that was distributed with this source code. - -if [ "$(command -v valgrind 2>/dev/null)" = "" ]; then - (>&2 echo "Valgring does not exist. Can not check for memory leaks.") - (>&2 echo "Aborting.") - exit 1 -fi - -# Correctly show the stack frames for extensions compiled as shared libraries -export ZEND_DONT_UNLOAD_MODULES=1 - -# Disable Zend memory manager before running PHP with valgrind -export USE_ZEND_ALLOC=0 - -# Do not stop testing on failures -export PHPUNIT_DONT_EXIT=1 - -if [ "$(php-config --vernum)" -lt "70200" ]; then - test_suite="Extension_Php70" -else - test_suite="Extension_Php72" -fi - -valgrind \ - --read-var-info=yes \ - --error-exitcode=1 \ - --fullpath-after= \ - --track-origins=yes \ - --leak-check=full \ - --num-callers=20 \ - --run-libc-freeres=no \ - php \ - -d "extension=ext/modules/stub.so" \ - "vendor/bin/simple-phpunit" \ - --no-coverage \ - --testsuite "$test_suite"