From 0342ada31f36f4fb5fa3ef9a5c480a2d48cb4eb6 Mon Sep 17 00:00:00 2001 From: Steve Holme Date: Thu, 6 Aug 2015 17:33:02 +0100 Subject: [PATCH] generate.bat: Added a check for the presence of a git repository --- projects/generate.bat | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/projects/generate.bat b/projects/generate.bat index 5251e19f1d..de4ff4dfbd 100644 --- a/projects/generate.bat +++ b/projects/generate.bat @@ -38,6 +38,9 @@ rem If you need to set the errorlevel do this instead: CALL :seterr [#] rem Switch to this batch file's directory cd /d "%~0\.." 1>NUL 2>&1 + rem Check we are running from a curl git repository + if not exist ..\GIT-INFO goto norepo + rem Set our variables setlocal ENABLEEXTENSIONS set VERSION=ALL @@ -483,6 +486,11 @@ rem Returns exit code 0 on success or 1 on failure. echo Error: This batch file cannot run from a network drive goto error +:norepo + echo. + echo Error: This batch file should only be used from a curl git repository + goto error + :nogencurlbuild echo. echo Error: Unable to generate ..\include\curl\curlbuild.h