From 446c2a19a5b5cf4596d5acb03a699fd33d1e0d91 Mon Sep 17 00:00:00 2001 From: Dave Page Date: Mon, 25 Jan 2021 09:09:36 +0000 Subject: [PATCH] Fix Windows build. --- Make.bat | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Make.bat b/Make.bat index d6b13fff8..052ba3353 100644 --- a/Make.bat +++ b/Make.bat @@ -133,7 +133,7 @@ REM Main build sequence Ends IF NOT EXIST "%PGADMIN_KRB5_DIR%" ( ECHO !PGADMIN_KRB5_DIR! does not exist. - ECHO Please install Kfw (Kerberos) and set the PGADMIN_KRB5_DIR environment variable. + ECHO Please install MIT Kerberos for Windows and set the PGADMIN_KRB5_DIR environment variable. EXIT /B 1 )