#156: Added exit code 1 to .bat scripts

TopQuadrant · Nov 15, 2023 · 15d7973 · 15d7973
1 parent fa6627b
commit 15d7973
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git 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
@@ -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\*;