diff options
Diffstat (limited to 'howto/maintain-git.txt')
-rw-r--r-- | howto/maintain-git.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/howto/maintain-git.txt b/howto/maintain-git.txt index a67130deb..215e2edb0 100644 --- a/howto/maintain-git.txt +++ b/howto/maintain-git.txt @@ -256,7 +256,7 @@ by doing the following: merged to 'next', add it at the end of the list. Then: $ git checkout -B jch master - $ Meta/redo-jch.sh -c1 + $ sh Meta/redo-jch.sh -c1 to rebuild the 'jch' branch from scratch. "-c1" tells the script to stop merging at the first line that begins with '###' |