-
-
Notifications
You must be signed in to change notification settings - Fork 618
path.appendExtension
starkos edited this page Apr 10, 2021
·
3 revisions
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.
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.