From 4f45ad1394c4744f2c7a3deec45a32e3712e24bc Mon Sep 17 00:00:00 2001 From: Nick Mathewson Date: Wed, 15 Jan 2020 12:58:52 -0500 Subject: [PATCH] add_c_file: tolerate ./ in filenames. --- scripts/maint/add_c_file.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/scripts/maint/add_c_file.py b/scripts/maint/add_c_file.py index 6656d0d422..66a4fdcd9e 100755 --- a/scripts/maint/add_c_file.py +++ b/scripts/maint/add_c_file.py @@ -216,6 +216,9 @@ def run(fn): add them to include.am. """ + if fn.startswith("./"): + fn = fn[2:] + cf = makeext(fn, "c") hf = makeext(fn, "h") -- 2.11.4.GIT