Nick Mathewson 3f303c102a Practracker: new flags to control output. ...

These flags let you suppress the message about the number of
problems and warnings, and let you control the thresholds above
which something counts as a problem.

I need this for testing.

2019-07-30 11:49:50 -04:00

..

practracker

Practracker: new flags to control output.

2019-07-30 11:49:50 -04:00

add_c_file.py

rectify_include_paths: warn instead of aborting on duplicate headers

2019-05-20 11:52:45 -04:00

annotate_ifdef_directives

Bump copyright date to 2019

2019-01-16 12:33:22 -05:00

check_config_macros.pl

Script to detect unused autoconf outputs

2014-05-07 03:56:51 -04:00

checkIncludes.py

Stop assuming that /usr/bin/python3 exists

2019-03-27 11:07:55 +10:00

checkLogs.pl

Clean the contrib directory with torch and machete.

2014-04-28 11:34:53 -04:00

checkOptionDocs.pl.in

Start splitting src/or

2018-07-05 17:15:50 -04:00

checkSpace.pl

Make checkSpace.pl check guard macros:

2019-03-12 15:19:28 -04:00

findMergedChanges.pl

Clean the contrib directory with torch and machete.

2014-04-28 11:34:53 -04:00

format_changelog.py

format_changelog: treat "issue NNNN" as a track ticket

2019-01-18 10:15:02 -05:00

lintChanges.py

lintChanges.py: Two python re usage fixes

2019-01-17 08:46:06 -05:00

locatemissingdoxygen.py

helper script to highlight undocumented members

2016-03-26 10:31:59 -04:00

rectify_include_paths.py

rectify_include_paths: warn instead of aborting on duplicate headers

2019-05-20 11:52:45 -04:00

redox.py

Bump copyright date to 2019

2019-01-16 12:33:22 -05:00

run_calltool.sh

Fix shellcheck issue SC2217 in run_calltool.sh

2018-10-29 11:37:16 +02:00

sortChanges.py

Bump copyright date to 2019

2019-01-16 12:33:22 -05:00

update_versions.py

Rewrite updateVersions script in Python, add datestamp functionality.

2018-11-24 20:44:37 -05:00

updateCopyright.pl

updateCopyright: look at the current year.

2019-05-20 12:02:20 -04:00

updateRustDependencies.sh

Fix SC2230 warning

2018-11-20 16:57:57 +02:00