From e05a580d6d113368d10b545b737d9cffacf9d26c Mon Sep 17 00:00:00 2001 From: Alexey Kopytko Date: Mon, 26 Mar 2018 13:13:26 +0900 Subject: [PATCH] Allow coverage-check use a non-default PHP version --- bin/coverage-check | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/bin/coverage-check b/bin/coverage-check index 48e2ec5..cd6abd5 100644 --- a/bin/coverage-check +++ b/bin/coverage-check @@ -1,3 +1,4 @@ -#!/bin/bash +#!/usr/bin/env php +