Method get_ext

tools/system_libs.py:619–621

Return the appropriate file extension for this library.

(self)

    return self.get_base_name_prefix()

  def get_ext(self):
    """Return the appropriate file extension for this library."""
    return '.a'

  def get_filename(self):
    """Return the full name of the library file, including the file extension."""