To change permissions on a file or directory,
use the Chmod
factory.
The permission argument uses POSIX-style
permission bits and should typically
be expressed as an octal,
not decimal, number:
Command("file.out", "file.in", [ Copy("$TARGET", "$SOURCE"), Chmod("$TARGET", 0o755), ])
Which executes:
% scons -Q
Copy("file.out", "file.in")
Chmod("file.out", 0755)