Cherry-pick build_with_pause.bat build script

(As it's not a part of the reader itself) in order to reduce differences with the experimental-reader-updated branch.
WohlSoft · Sep 13, 2018 · 6d7028d · 6d7028d
1 parent 28b6701
commit 6d7028d
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/build_with_pause.bat b/build_with_pause.bat
@@ -0,0 +1,2 @@
+call build.bat %1
+pause