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 | c25212b687e4d4f3965dd45671f15a39f0d99f86 (patch) | |
| tree | 7cb86a6e084d1c77f8d256e746f4bd60f8e97a16 | |
| parent | 33026457a27de6c417276561d76bbba1e2d359da (diff) | |
| download | usermoji-c25212b687e4d4f3965dd45671f15a39f0d99f86.tar.xz | |
build: Add check for spirv-headers revision file
Change-Id: I9bc225275c4d890f44c7ab4dd2076b981778ac20
| -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 |