os.copyfile
Copies a file from one location to another.
ok, err = os.copyfile("source", "destination")
Parameters
source is the file system path to the file to be copied.
destination is the path to the copy location.
Return Value
True if successful, otherwise nil and an error message.
Availability
Premake 5.0 or later.