Commit f9c86872 authored by Luca Boccassi's avatar Luca Boccassi Committed by GitHub

Merge pull request #2054 from BLangpap/master

Problem: parameter %1 set hard to build target and prevents the skipp…
parents d51940a9 96c306cc
......@@ -31,8 +31,3 @@ set STOPTIME=%DATE% %TIME%
:done
@endlocal
if NOT %1 == "" if /I %1 == "skip_pause" goto :quit
PAUSE
:quit
\ No newline at end of file
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment