annotate checkenv.cmd @ 31:3b0546fa0d74

Add documentation in alternative formats to HTML.
author David Barts <davidb@stashtea.com>
date Sat, 18 Apr 2020 09:08:23 -0700
parents cd2ca4727b7f
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
22
cd2ca4727b7f Builds under Windows.
davidb
parents:
diff changeset
1 @echo off
cd2ca4727b7f Builds under Windows.
davidb
parents:
diff changeset
2 SETLOCAL EnableDelayedExpansion
cd2ca4727b7f Builds under Windows.
davidb
parents:
diff changeset
3
cd2ca4727b7f Builds under Windows.
davidb
parents:
diff changeset
4 for %%i in (%*) do (
cd2ca4727b7f Builds under Windows.
davidb
parents:
diff changeset
5 if "!%%i!"=="" (
cd2ca4727b7f Builds under Windows.
davidb
parents:
diff changeset
6 echo ERROR: %%i not set
cd2ca4727b7f Builds under Windows.
davidb
parents:
diff changeset
7 exit/b 1
cd2ca4727b7f Builds under Windows.
davidb
parents:
diff changeset
8 )
cd2ca4727b7f Builds under Windows.
davidb
parents:
diff changeset
9 )
cd2ca4727b7f Builds under Windows.
davidb
parents:
diff changeset
10
cd2ca4727b7f Builds under Windows.
davidb
parents:
diff changeset
11 exit/b 0