Searched refs:git (Results 1 - 5 of 5) sorted by relevance
/gem5/tests/jenkins/ |
H A D | presubmit.sh | 45 cd git/jenkins-gem5-prod/tests
|
/gem5/ext/ |
H A D | git-commit-msg | 30 /^diff --git .*/{ 36 ' "$MSG" | git stripspace` 48 if test "false" = "`git config --bool --get gerrit.createChangeId`" 67 # Get core.commentChar from git config or use default symbol 68 commentChar=`git config --get core.commentChar` 95 /^diff --git / { 175 echo "tree `git write-tree`" 176 if parent=`git rev-parse "HEAD^0" 2>/dev/null` 180 echo "author `git var GIT_AUTHOR_IDENT`" 181 echo "committer `git va [all...] |
/gem5/util/maint/ |
H A D | create_patches.sh | 63 consumption from a git branch. By default, the script works on the 70 3. Generate a set of patches in git format. 76 git rev-parse --verify -q "$1" > /dev/null 124 SHA_PATCHES=`git rev-parse "$BRANCH"` 125 OLD_BRANCH=`git symbolic-ref --short -q HEAD` 126 SHA_UPSTREAM=`git rev-parse "$UPSTREAM"` 132 git checkout -q --detach "$SHA_PATCHES" 136 git checkout -q "$OLD_BRANCH" 141 git rebase "$UPSTREAM" 144 git filte [all...] |
/gem5/util/ |
H A D | git-pre-commit.py | 52 description="gem5 git style checker hook") 59 git = GitRepo() variable 62 repo_base = git.repo_base() 69 for status, fname in git.status(filter="MA", cached=True): 75 regions = git.staged_regions(fname) 80 status = git.file_from_index(fname) 115 print >> sys.stderr, "Please `git --add' them"
|
/gem5/util/style/ |
H A D | repo.py | 116 self.git = "git" 123 [ self.git, "rev-parse", "--show-toplevel" ]).rstrip("\n") 163 [ self.git, "rev-parse", "--verify", "HEAD" ], 167 # empty tree revision if git rev-parse returned an error. 184 cmd = [ self.git, "diff-index", "--name-status" ] 199 [ self.git, "show", ":%s" % (name, ) ]) 203 [ self.git, "show", "%s:%s" % (self.head_revision(), name) ]) 259 (".git", GitRepo),
|
Completed in 5 milliseconds