diff options
Diffstat (limited to 'src/util/generate_build_files.py')
-rw-r--r-- | src/util/generate_build_files.py | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/util/generate_build_files.py b/src/util/generate_build_files.py index 4b4a8991..a4af6667 100644 --- a/src/util/generate_build_files.py +++ b/src/util/generate_build_files.py @@ -594,6 +594,12 @@ def main(platforms): tool_c_files = FindCFiles(os.path.join('src', 'tool'), NoTests) tool_h_files = FindHeaderFiles(os.path.join('src', 'tool'), AllFiles) + # third_party/fiat/p256.c lives in third_party/fiat, but it is a FIPS + # fragment, not a normal source file. + p256 = os.path.join('src', 'third_party', 'fiat', 'p256.c') + fips_fragments.append(p256) + crypto_c_files.remove(p256) + # Generate err_data.c with open('err_data.c', 'w+') as err_data: subprocess.check_call(['go', 'run', 'err_data_generate.go'], |