Create phartools.bat

Flavius12 · Flavius12 · commit c8c4a7e5329a · 2015-04-23T17:20:14.000+02:00
diff --git a/phartools.bat b/phartools.bat
@@ -0,0 +1,12 @@
+@echo off
+
+::Specify the PHP binaries path here
+set PHP_PATH=bin\php
+::Specify the main PHP executable here
+set PHP_EXE=php.exe
+
+if exist "%PHP_PATH%\%PHP_EXE%" (
+    "%PHP_PATH%\%PHP_EXE%" phartools.php %*
+) else (
+    echo PHP Executable not found. Please set the right PHP path.
+)
