diff options
Diffstat (limited to 'php53-phar-names.patch')
| -rw-r--r-- | php53-phar-names.patch | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/php53-phar-names.patch b/php53-phar-names.patch new file mode 100644 index 000000000000..42999c9291d0 --- /dev/null +++ b/php53-phar-names.patch @@ -0,0 +1,12 @@ +--- php-5.3.29-orig/ext/phar/Makefile.frag ++++ php-5.3.29/ext/phar/Makefile.frag +@@ -37,6 +37,6 @@ + + install-pharcmd: pharcmd + -@$(mkinstalldirs) $(INSTALL_ROOT)$(bindir) +- $(INSTALL) $(builddir)/phar.phar $(INSTALL_ROOT)$(bindir) +- -@rm -f $(INSTALL_ROOT)$(bindir)/phar +- $(LN_S) -f $(bindir)/phar.phar $(INSTALL_ROOT)$(bindir)/phar ++ $(INSTALL) $(builddir)/phar.phar $(INSTALL_ROOT)$(bindir)/$(program_prefix)phar$(program_suffix).phar ++ -@rm -f $(INSTALL_ROOT)$(bindir)/$(program_prefix)phar$(program_suffix) ++ $(LN_S) -f $(program_prefix)phar$(program_suffix).phar $(INSTALL_ROOT)$(bindir)/$(program_prefix)phar$(program_suffix) |