diff options
| author | ruki <[email protected]> | 2016-07-29 19:41:23 +0800 |
|---|---|---|
| committer | ruki <[email protected]> | 2016-07-29 19:41:23 +0800 |
| commit | 68b869763491ff6eb97085b8536ef1b7c72fd2bd (patch) | |
| tree | d793ed719e0c8f1fa519922d70ae4dfda02ef89b | |
| parent | 928a7507772955797f6cbc7ce950354d91e28fcf (diff) | |
modify install.bat
| -rw-r--r-- | install.bat | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/install.bat b/install.bat index b9c245c4a..4015a9566 100644 --- a/install.bat +++ b/install.bat @@ -56,4 +56,4 @@ tools\dtreg.exe -MachineEnvSet path="%path%;%xmake_dir_install%" >> install.log rem ok
echo ok!
-pause
+if not "%1" == "noinput" pause
|