diff options
author | Yasuo Ohgaki <yohgaki@php.net> | 2016-08-11 08:09:37 +0900 |
---|---|---|
committer | Yasuo Ohgaki <yohgaki@php.net> | 2016-08-11 08:09:37 +0900 |
commit | 2644943968de8af608b25daf83d733a1bdb98269 (patch) | |
tree | 108001b45e45841ec250dd252d3cb6d60080e2ac | |
parent | 9a9004318fa3a5b2c2c3c4a4fafed9ad4767df4a (diff) | |
parent | 5bf14e46993b3aa46af773760ab681672c73d8af (diff) | |
download | php-git-2644943968de8af608b25daf83d733a1bdb98269.tar.gz |
Merge branch 'PHP-7.0' into PHP-7.1
* PHP-7.0:
Support "git worktree"
-rwxr-xr-x | vcsclean | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,6 +1,6 @@ #! /bin/sh -if test -d '.git'; then +if test -d '.git' -o -f '.git'; then ${MAKE:-make} -f build/build.mk gitclean-work else echo "Can't figure out your VCS, not cleaning." |