- name: dont_write_c_files
- description: Make the C backend write everyting to /dev/null. Useful for benchmarking, so you don’t actually involve the disk
- command-line: –dont-write-c-files
- command-line for negation: –no-dont-write-c-files
- option type: boolean option
- default: False
write the generated C files to /dev/null instead of to the disk. Useful if you want to use translate.py as a benchmark and don’t want to access the disk.