From 2c5e514d12067ae88da5954ff634cdc87497ddb8 Mon Sep 17 00:00:00 2001
From: Henrik Lissner <henrik@lissner.net>
Date: Mon, 7 Dec 2015 18:15:01 -0500
Subject: [PATCH] Add run-boris script; runs boris REPL with correct PHP

---
 scripts/run-boris | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100755 scripts/run-boris

diff --git a/scripts/run-boris b/scripts/run-boris
new file mode 100755
index 00000000..bef2a617
--- /dev/null
+++ b/scripts/run-boris
@@ -0,0 +1,5 @@
+#!/usr/bin/env zsh
+
+# Mac-only: run boris REPL with homebrewed PHP
+
+/usr/local/bin/php /usr/local/bin/boris