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", 0o755)