diff options
| author | ruki <[email protected]> | 2018-11-26 23:16:57 +0800 |
|---|---|---|
| committer | ruki <[email protected]> | 2018-11-26 13:41:47 +0800 |
| commit | 8685836a86a54049f6202a03d173cd32f4c9c23a (patch) | |
| tree | ec5b35429be04fab852ff88237bba199c51c37e6 | |
| parent | ec7326c033eea745ef5aa26533c55f4126c59609 (diff) | |
modify ps1
| -rw-r--r-- | scripts/get.ps1 | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/scripts/get.ps1 b/scripts/get.ps1 index 5571e421b..1b798aea9 100644 --- a/scripts/get.ps1 +++ b/scripts/get.ps1 @@ -4,6 +4,10 @@ & { +param ( + [string]$branch = "master" +) + Function myExit($code){ if($code -is [int] -and $code -ne 0){ throw $Error[0] |