Files
tfhe-rs/scripts/clippy_driver.sh
Mayeul@Zama 72475a385e chore(all): add makefile command to clippy lint doctests
- The command exits with a warning on windows as it does not work at the
moment
2024-07-09 14:08:34 +02:00

6 lines
67 B
Bash
Executable File

#!/usr/bin/env bash
set -eu
exec clippy-driver ${CLIPPYFLAGS} $@