diff options
author | Wookey <wookey@wookware.org> | 2013-09-12 16:05:23 +0100 |
---|---|---|
committer | Wookey <wookey@wookware.org> | 2013-09-12 16:05:23 +0100 |
commit | c6a5763cf94a51d7910d383656ebe19fd1ddbf38 (patch) | |
tree | f3a00cf20dc6a0f01e69e27a331cf8f0e7741d7e | |
parent | 1d87b0973c91c045804388ed7049d1fb0b42d50c (diff) |
chmod files to 644 so that dput doesn't try to do it _after_ uploading
to incoming (which is racy with the archive processing daemon)
-rwxr-xr-x | scripts/package_kernel | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/scripts/package_kernel b/scripts/package_kernel index a75dbea..2ac745c 100755 --- a/scripts/package_kernel +++ b/scripts/package_kernel @@ -660,6 +660,9 @@ test "$do_publish_source_pkg" == "true" && { echo "skip publish_source_pkg, key not provided" else cd out + #set files to 0644 to avoid racy behaviour of dput trying to chmod files after upload + #by which time they may already have been processed. + chmod 0644 *.deb *.changes dput $HOST_PPA *source.changes cd .. fi |