diff options
| author | Nick Mathewson <nickm@torproject.org> | 2020-08-11 10:44:40 -0400 |
|---|---|---|
| committer | Nick Mathewson <nickm@torproject.org> | 2020-08-11 10:44:40 -0400 |
| commit | 0ee3b83a0b77637f51fedc321046fdeaaf5ec15d (patch) | |
| tree | 19a6ded4aada52a209290520c2b78e3208efd236 /scripts | |
| parent | b705cfa0247dda72ae7c8291be290316bd2392d1 (diff) | |
| parent | d83703317d8dc9ca9118c161cf4e383b3d121084 (diff) | |
| download | tor-0ee3b83a0b77637f51fedc321046fdeaaf5ec15d.tar.gz tor-0ee3b83a0b77637f51fedc321046fdeaaf5ec15d.zip | |
Merge branch 'maint-0.4.4'
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/ci/ci-driver.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/scripts/ci/ci-driver.sh b/scripts/ci/ci-driver.sh index 50728a137e..bede68baa8 100755 --- a/scripts/ci/ci-driver.sh +++ b/scripts/ci/ci-driver.sh @@ -1,5 +1,10 @@ #!/bin/bash +#### +# DO NOT EDIT THIS FILE IN MASTER. ONLY EDIT IT IN THE OLDEST SUPPORTED +# BRANCH, THEN MERGE FORWARD. +#### + # This script is used to build Tor for continuous integration. It should # be kept the same for all supported Tor versions. # |