1 files changed, 20 insertions, 2 deletions
diff --git a/serve.sh b/serve.sh
index 60e378b..537c980 100755
--- a/serve.sh
+++ b/serve.sh
@@ -1,4 +1,22 @@
 #!/bin/sh
+
+php_bin=""
 port=8000
-if [ -n "$1" ]; then port=$1; fi
-php -S localhost:$port -d short_open_tag=true index.php
+
+for try_bin in {php7,php}
+do
+	php_bin=$(command -v $try_bin)
+	if [[ -n "$php_bin" ]]
+	then
+		break
+	fi
+done
+
+echo "Using PHP: $php_bin"
+
+if [ -n "$1" ]
+then
+	port=$1
+fi
+
+$php_bin -S localhost:$port -d short_open_tag=true index.php