4 Commits

Author	SHA1	Message	Date
Anders Kaseorg	392175d6e8	Use #!/usr/bin/env for bash shebangs. ... /bin/sh and /usr/bin/env are the only two binaries that NixOS provides at a fixed path (outside a buildFHSUserEnv sandbox). This discussion was split from #11004. Signed-off-by: Anders Kaseorg <andersk@mit.edu>	2018-12-17 17:21:08 -08:00
Tim Abbott	6b69cc0b39	lint: Run mypy as part of main linter. ... To support this, we add a pass_targets option to the main linter library, because with current mypy, it's generally counterproductive to pass the list of files in (can produce spurious errors; isn't faster).	2018-12-16 21:52:53 -08:00
Tim Abbott	f3c6d91e69	mypy: Switch default to daemon mode. ... There isn't any real advantage to running the non-daemon mode at this point.	2018-12-16 21:37:58 -08:00
Vishnu Ks	a86faecff5	tools: Rename tools/travis directory to tools/ci.	2018-12-10 11:07:26 -08:00