diff options
| author | Florian Pritz <bluewind@xinu.at> | 2016-09-19 21:14:37 +0200 |
|---|---|---|
| committer | Florian Pritz <bluewind@xinu.at> | 2016-09-19 21:41:31 +0200 |
| commit | 7a9f19d4bc1a08c7d9397a0a4bc1e342c8323466 (patch) | |
| tree | a2a01c34c2c692315ad0d8807659d8bbb13c1f2e /check_deps.php | |
| parent | 15bf275ec299719b8b34055b0b13b06ae0176dba (diff) | |
Make check_deps.php executable
Signed-off-by: Florian Pritz <bluewind@xinu.at>
Diffstat (limited to 'check_deps.php')
| -rwxr-xr-x[-rw-r--r--] | check_deps.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/check_deps.php b/check_deps.php index f8d2da2db..a76085298 100644..100755 --- a/check_deps.php +++ b/check_deps.php @@ -1,3 +1,4 @@ +#!/usr/bin/php <?php if (version_compare(PHP_VERSION, '5.5.0') < 0) { |