darcs-dist-set-scripts-executable

Ignore-this: 79e7d4a4458b3270174f755fc81222a5

darcs-hash:20120625225524-c6c69-77c4492d8f6535630642381490a2edf8b1ff35e9

Author: vozhyk-

darcs-dist.sh

@@ -6,7 +6,7 @@ shift; shift
 darcs_options="$@"
 
 echo Running \`\`darcs dist ${darcs_options} -d "$name"\'\'...
-darcs dist ${darcs_options} -d "$name"
+darcs dist ${darcs_options} --set-scripts-executable -d "$name"
 
 if [[ "$format" != gz ]]
 then