diff options
Diffstat (limited to 'scripts/maint/add_c_file.py')
| -rwxr-xr-x | scripts/maint/add_c_file.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/scripts/maint/add_c_file.py b/scripts/maint/add_c_file.py index 25a1be5331..a7478cbecf 100755 --- a/scripts/maint/add_c_file.py +++ b/scripts/maint/add_c_file.py @@ -265,6 +265,8 @@ def run(fname): # Make sure we're in the top-level tor directory, # which contains the src directory assert(os.path.isdir("src")) + # And it looks like a tor/src directory + assert(os.path.isfile("src/include.am")) # Make the file name relative to the top-level tor directory tor_fname = tordir_file(fname) |