HomeSort by: relevance | last modified time | path
    Searched refs:numrep (Results 1 - 2 of 2) sorted by relevancy

  /src/external/gpl3/gcc/dist/contrib/
compare_two_ftime_report_sets 140 def strip_redundant_digits(numrep):
141 if numrep.find(".") == -1:
142 return numrep
143 return numrep.rstrip("0").rstrip(".")
  /src/external/gpl3/gcc.old/dist/contrib/
compare_two_ftime_report_sets 140 def strip_redundant_digits(numrep):
141 if numrep.find(".") == -1:
142 return numrep
143 return numrep.rstrip("0").rstrip(".")

Completed in 18 milliseconds