<filename>pintools-runner.py
#!/usr/bin/env python
"""
Convenience wrapper for running directly from repo source
"""

from pintools.pintools import main

if __name__ == "__main__":
    main()

<filename>pintools-runner.py
#!/usr/bin/env python
"""
Convenience wrapper for running directly from repo source
"""

from pintools.pintools import main

if __name__ == "__main__":
    main()

#!/usr/bin/env python Convenience wrapper for running directly from repo source