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", action=[ Copy("$TARGET", "$SOURCE"), Chmod("$TARGET", 0o755), ] )
Which executes:
% scons -Q
Copy("file.out", "file.in")
Chmod("file.out", 0755)