Build script: pushd/popd when an error occurs

aybe · Mar 8, 2023 · 354bb28 · 354bb28
1 parent ea0a5ce
commit 354bb28
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/dearimgui-build.cmd b/dearimgui-build.cmd
@@ -1,4 +1,5 @@
 @echo off
+pushd
 
 set COLOR_WARN=[93m
 set COLOR_NORM=[0m
@@ -75,6 +76,7 @@ goto end
 
 :err
 echo %COLOR_WARN%Aborting, last command failed with error code %ERRORLEVEL%%COLOR_NORM%
+popd
 
 :end
 set BUILD_TYPE=