Appends an extension to a file path if it is not already present.
p = path.appendExtension(p, ext)
p
is a file system path.
ext
is the extension to append to the path.
A new file system path with the extension appended, if it was not already part of the path.
Premake 5.0 or later.