diff --git a/src/main/command/shaclinfer.bat b/src/main/command/shaclinfer.bat index 2d0a366e..e4580439 100644 --- a/src/main/command/shaclinfer.bat +++ b/src/main/command/shaclinfer.bat @@ -7,7 +7,7 @@ set SHACL_HOME=%SHACLROOT% if NOT "%SHACL_HOME%" == "" goto :okHome echo SHACL_HOME not set -exit /B +exit /B 1 :okHome set SHACL_CP=%SHACL_HOME%\lib\*; diff --git a/src/main/command/shaclvalidate.bat b/src/main/command/shaclvalidate.bat index 8e2595dd..0e58560e 100644 --- a/src/main/command/shaclvalidate.bat +++ b/src/main/command/shaclvalidate.bat @@ -7,7 +7,7 @@ set SHACL_HOME=%SHACLROOT% if NOT "%SHACL_HOME%" == "" goto :okHome echo SHACL_HOME not set -exit /B +exit /B 1 :okHome set SHACL_CP=%SHACL_HOME%\lib\*;