PyPy
PyPy Configuration[objspace.usemodules.time]

objspace.usemodules.time

back to parent

Basic Option Information

  • name: time
  • description: use module time
  • command-line: --withmod-time
  • command-line for negation: --withoutmod-time
  • option type: boolean option
  • default: False

Description

Use the 'time' module.

Obsolete; use --withmod-rctime for our up-to-date version of the application-level 'time' module.