Chmod Factory
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", 0755),
])
Which executes:
% scons -Q
Copy("file.out", "file.in")
Chmod("file.out", 0755)