diff options
| author | Nick Mathewson <nickm@torproject.org> | 2020-01-15 12:58:52 -0500 |
|---|---|---|
| committer | teor <teor@torproject.org> | 2020-01-16 09:23:54 +1000 |
| commit | 4f45ad1394c4744f2c7a3deec45a32e3712e24bc (patch) | |
| tree | 52718f4c169447af81a16432322c6cc273d4ef9c /scripts | |
| parent | ef1744e2c938517220e8f27370c134efb78cdd0c (diff) | |
| download | tor-4f45ad1394c4744f2c7a3deec45a32e3712e24bc.tar.gz tor-4f45ad1394c4744f2c7a3deec45a32e3712e24bc.zip | |
add_c_file: tolerate ./ in filenames.
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/maint/add_c_file.py | 3 |
1 files changed, 3 insertions, 0 deletions
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") |