diff options
| author | Mark Lobodzinski <mark@lunarg.com> | 2016-11-18 13:48:44 -0700 |
|---|---|---|
| committer | Mark Lobodzinski <mark@lunarg.com> | 2016-11-22 09:03:13 -0700 |
| commit | db982b3dce7eed905864024b6a6cc65d60b447bf (patch) | |
| tree | d447d43a131ebad91db6823123b98d521e050f1c /update_external_sources.bat | |
| parent | 2200836368fd593864e91b8a27ddae1323f90f09 (diff) | |
build: Add check for spirv-headers revision file
Change-Id: I9bc225275c4d890f44c7ab4dd2076b981778ac20
Diffstat (limited to 'update_external_sources.bat')
| -rw-r--r-- | update_external_sources.bat | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/update_external_sources.bat b/update_external_sources.bat index 2d01a243..bb46d27b 100644 --- a/update_external_sources.bat +++ b/update_external_sources.bat @@ -136,6 +136,13 @@ if not exist %REVISION_DIR%\spirv-tools_revision ( goto:error ) +if not exist %REVISION_DIR%\spirv-headers_revision ( + echo. + echo Missing spirv-headers_revision file! Place it in %REVISION_DIR% with target version in it. + set errorCode=1 + goto:error +) + set /p GLSLANG_REVISION= < %REVISION_DIR%\glslang_revision set /p SPIRV_TOOLS_REVISION= < %REVISION_DIR%\spirv-tools_revision set /p SPIRV_HEADERS_REVISION= < %REVISION_DIR%\spirv-headers_revision |