diff checkenv.cmd @ 22:cd2ca4727b7f

Builds under Windows.
author davidb
date Thu, 16 Apr 2020 11:10:39 -0700
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/checkenv.cmd	Thu Apr 16 11:10:39 2020 -0700
@@ -0,0 +1,11 @@
+@echo off
+SETLOCAL EnableDelayedExpansion
+
+for %%i in (%*) do (
+	if "!%%i!"=="" (
+		echo ERROR: %%i not set
+		exit/b 1
+	)
+)
+
+exit/b 0