view checkenv.cmd @ 56:224572069e36

Always define an editor kit, so we always get HTML mode.
author davidb
date Thu, 07 May 2020 17:12:25 -0700
parents cd2ca4727b7f
children
line wrap: on
line source

@echo off
SETLOCAL EnableDelayedExpansion

for %%i in (%*) do (
	if "!%%i!"=="" (
		echo ERROR: %%i not set
		exit/b 1
	)
)

exit/b 0