src/tools/clippy/util/update_lints.py

#!/usr/bin/env python

import sys

def main():
    print('Error: Please use `util/dev` to update lints')
    return 1

if __name__ == '__main__':
    sys.exit(main())