diff options
| author | Emmanuel Vadot <manu@FreeBSD.org> | 2017-03-07 12:41:06 +0000 |
|---|---|---|
| committer | Emmanuel Vadot <manu@FreeBSD.org> | 2017-03-07 12:41:06 +0000 |
| commit | ff018dbf5bb142aa83bd955e5b6c55d66e9e9c1e (patch) | |
| tree | 5cd0b74d984dae06ea54b6b09998163538d3c162 /scripts/merge-new-release.sh | |
| parent | c7716441be3a4a48aa7b7cdf69a15625c1cd8ef5 (diff) | |
Notes
Diffstat (limited to 'scripts/merge-new-release.sh')
| -rwxr-xr-x | scripts/merge-new-release.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/merge-new-release.sh b/scripts/merge-new-release.sh index cf2ac4191534..a6cf3491c9b2 100755 --- a/scripts/merge-new-release.sh +++ b/scripts/merge-new-release.sh @@ -18,5 +18,5 @@ set -ex git merge --no-edit "${v}-raw" git clean -fdqx -make -k -j12 -s git tag -s -m "Tagging ${v}" -u 695A46C6 "${v}" +make -k -j12 -s |