⚠️ We have a new website! Visit now for the most update to date documentation. This wiki is no longer being maintained.
Appends an extension to a file path if it is not already present.
p = path.appendExtension(p, ext)
p is a file system path.
p
ext is the extension to append to the path.
ext
A new file system path with the extension appended, if it was not already part of the path.
Premake 5.0 or later.
There was an error while loading. Please reload this page.