diff --git a/tools/distrib/check_copyright.py b/tools/distrib/check_copyright.py index 888d973d85ff558d029f1f2d13ce9eb49d6b1a68..e0d2f47d294727a9fba431375c9f533f8132c340 100755 --- a/tools/distrib/check_copyright.py +++ b/tools/distrib/check_copyright.py @@ -54,9 +54,6 @@ argp.add_argument('-a', '--ancient', default=0, action='store_const', const=1) -argp.add_argument('-f', '--fix', - default=False, - action='store_true'); argp.add_argument('--precommit', default=False, action='store_true')