From 81eced29b2f67319d4f18117eb54c1df84ef7933 Mon Sep 17 00:00:00 2001 From: David Majda Date: Fri, 14 May 2010 18:02:45 +0200 Subject: [PATCH] Whitespace fixes --- bin/pegjs.bat | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/bin/pegjs.bat b/bin/pegjs.bat index a34138f..dbed212 100644 --- a/bin/pegjs.bat +++ b/bin/pegjs.bat @@ -1,5 +1,6 @@ @echo off - + set DIR_WITH_SLASH=%~dp0 set DIR=%DIR_WITH_SLASH:~0,-1% + java -jar "%DIR%\..\vendor\rhino\js.jar" "%DIR%\pegjs-main.js" "%DIR%" %*