diff options
Diffstat (limited to 'source/ap/ksh93/get-att-ast.sh')
| -rwxr-xr-x | source/ap/ksh93/get-att-ast.sh | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/source/ap/ksh93/get-att-ast.sh b/source/ap/ksh93/get-att-ast.sh index e06ca3b11..aaf7954b0 100755 --- a/source/ap/ksh93/get-att-ast.sh +++ b/source/ap/ksh93/get-att-ast.sh @@ -1,6 +1,6 @@ #!/bin/sh -# Copyright 2018 Patrick J. Volkerding, Sebeka, Minnesota, USA +# Copyright 2018, 2020 Patrick J. Volkerding, Sebeka, Minnesota, USA # All rights reserved. # # Redistribution and use of this script, with or without modification, is @@ -20,8 +20,9 @@ # OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF # ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. -# Pull HEAD: -BRANCH=${1:-master} +# Use 2020.0.1 branch. Verify first that there's no better branch with +# "git branch -a" in the unpruned repo. +BRANCH=${1:-2020.0.1} # Clear download area: rm -rf ast |