From 2b2ef00072881274c2a8da2b66f2cc9b441862ca Mon Sep 17 00:00:00 2001
From: Stefan Siegl <stesie@brokenpipe.de>
Date: Sun, 12 Mar 2017 16:34:18 +0100
Subject: [PATCH] (Commandfile) add command 'shell'

---
 Commandfile | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/Commandfile b/Commandfile
index edd4171..6b1c2ca 100644
--- a/Commandfile
+++ b/Commandfile
@@ -31,6 +31,12 @@ command 'test',
     cd /data/build; `which gmake || which make` test NO_INTERACTION=1 REPORT_EXIT_STATUS=1
     eof
 
+command 'shell',
+  description: 'execute a PHP CLI interactive shell with V8Js loaded',
+  script: <<-eof
+    cd /data/build; php -a -d extension=modules/v8js.so
+    eof
+
 chain 'all',
   commands: [
     { command: 'phpize' },