chiark / gitweb /
do not upload (publish) sources by default
authorIan Jackson <ian@davenant.greenend.org.uk>
Sat, 27 Oct 2007 18:16:22 +0000 (19:16 +0100)
committerIan Jackson <ian@davenant.greenend.org.uk>
Sat, 27 Oct 2007 18:16:22 +0000 (19:16 +0100)
runner/adt-testreport-onepackage

index dc00cd7dc49c344febec864808dc6960e9e31ff3..61ce4a90e3aba0c6e14448dff2f55e04b9f56304 100755 (executable)
@@ -13,6 +13,7 @@ suppressrepeatedemails=false
 arch=`dpkg --print-architecture`
 logheadmaxbytes=32768
 logtailmaxbytes=32768
+upload_src=false
 
 for config in "$@"; do
        case "$config" in
@@ -371,6 +372,10 @@ if $upload; then
                fi
        done
 
+       if ! $upload_src; then
+               rm -r "$tp"/src
+       fi
+
        progress "uploading"
        printf >&3 "uploading"
        $rsync -rltH --safe-links --delete "$tp" "$destrsynchead/$destdirfin/"