diff options
Diffstat (limited to 'scripts/common')
-rwxr-xr-x | scripts/common | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/common b/scripts/common index 50b13f8d7..4924538f0 100755 --- a/scripts/common +++ b/scripts/common @@ -9,6 +9,7 @@ update() { git fetch --tags "https://github.com/$1/$2.git" (git fetch "https://github.com/$1/$2.git" $4 && git checkout -fq FETCH_HEAD) #|| git checkout -fq $4 # || fallback is for local testing on tag git reset --hard + cd - } export LC_ALL=en_US.UTF-8 |