From 08d029b3c57932193a1b496914cfc2f47d0b5e31 Mon Sep 17 00:00:00 2001 From: Barney Laurance Date: Sat, 8 Jun 2019 20:25:02 +0100 Subject: [PATCH] Delete broken scripts from phar distribution This resolves https://github.com/vimeo/psalm/issues/1758 but signals that https://github.com/psalm/phar/issues/1 was never really fixed. --- assets/psalm-phar/psalm | 2 -- assets/psalm-phar/psalm-language-server | 2 -- assets/psalm-phar/psalm-plugin | 2 -- assets/psalm-phar/psalm-refactor | 2 -- assets/psalm-phar/psalter | 2 -- 5 files changed, 10 deletions(-) delete mode 100755 assets/psalm-phar/psalm delete mode 100755 assets/psalm-phar/psalm-language-server delete mode 100755 assets/psalm-phar/psalm-plugin delete mode 100755 assets/psalm-phar/psalm-refactor delete mode 100755 assets/psalm-phar/psalter diff --git a/assets/psalm-phar/psalm b/assets/psalm-phar/psalm deleted file mode 100755 index 1dc821db865..00000000000 --- a/assets/psalm-phar/psalm +++ /dev/null @@ -1,2 +0,0 @@ -#!/usr/bin/env php -