1
0
mirror of https://github.com/phpmyadmin/phpmyadmin.git synced 2026-11-03 11:53:04 +03:00

Merge branch 'QA_4_4'

This commit is contained in:
Michal Čihař
2015-08-18 16:14:22 +02:00

View File

@@ -10,11 +10,6 @@ git clone --depth=1 git://github.com/zenovich/runkit.git
pushd runkit
if [ $TRAVIS_PHP_VERSION = "5.6" ] ; then
wget --no-check-certificate https://patch-diff.githubusercontent.com/raw/zenovich/runkit/pull/73.diff
patch -p1 < 73.diff
fi
phpize
./configure
make