Merge pull request #13 from CEED/raja/branch-fix

jedbrown · web-flow · commit 2d772a906680 · 2020-09-18T12:32:58.000-06:00
RAJA: fix branch name: master-&gt;main
diff --git a/package-builders/raja.sh b/package-builders/raja.sh
@@ -36,7 +36,7 @@ function raja_clone()
 {
    pkg_repo_list=("git@github.com:LLNL/raja.git"
                   "https://github.com/LLNL/raja.git")
-   pkg_git_branch="master"
+   pkg_git_branch="main"
    cd "$pkg_sources_dir" || return 1
    if [[ -d "$pkg_src_dir" ]]; then
       update_git_package

Original file line number	Diff line number	Diff line change
`@@ -36,7 +36,7 @@ function raja_clone()`
`36`	`36`	`{`
`37`	`37`	`pkg_repo_list=("[email protected]:LLNL/raja.git"`
`38`	`38`	`"https://github.com/LLNL/raja.git")`
`39`		`- pkg_git_branch="master"`
	`39`	`+ pkg_git_branch="main"`
`40`	`40`	`cd "$pkg_sources_dir" \|\| return 1`
`41`	`41`	`if [[ -d "$pkg_src_dir" ]]; then`
`42`	`42`	`update_git_package`