From 90e4cbbfbe099dfc595a47cc32173cb9a24e911c Mon Sep 17 00:00:00 2001 From: /dev/urandom Date: Sun, 3 Jan 2016 15:16:31 +0100 Subject: [PATCH] generate.bat now takes custom parameters! Not like this script is really needed anyways though. --- generate.bat | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/generate.bat b/generate.bat index 60f1bbf4..f7db5dc5 100644 --- a/generate.bat +++ b/generate.bat @@ -1,2 +1,2 @@ @echo off -premake5 vs2013 \ No newline at end of file +premake5 %* vs2013 \ No newline at end of file