diff options
| author | Noah Misch | 2024-06-28 18:17:50 +0000 |
|---|---|---|
| committer | Noah Misch | 2024-06-28 18:17:50 +0000 |
| commit | db0c96cc18aec417101e37e59fcc53d4bf647915 (patch) | |
| tree | db4f686f3f92d6016e6a07fd322de5ad1848cf1c /src | |
| parent | b99414de90520e9605dff9cb645a2a228876862f (diff) | |
Fix .gitignore for new injection suite.
Commit c35f419d6efbdf1a050250d84b687e6705917711 missed this.
Diffstat (limited to 'src')
| -rw-r--r-- | src/test/modules/injection_points/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/test/modules/injection_points/.gitignore b/src/test/modules/injection_points/.gitignore index f84085454a0..0de307e70a6 100644 --- a/src/test/modules/injection_points/.gitignore +++ b/src/test/modules/injection_points/.gitignore @@ -3,3 +3,4 @@ /output_iso/ /results/ /tmp_check/ +/tmp_check_iso/ |