diff --git a/.gitignore b/.gitignore index 19dbba458..a9f82bf95 100644 --- a/.gitignore +++ b/.gitignore @@ -20,11 +20,6 @@ __pycache__/ /**/obj_dir* /**/gmon* -#External repos -addins/riscv-arch-test/Makefile.include -addins/riscv-tests/target -addins/TestFloat-3e/build/Linux-x86_64-GCC/* - # Tests tests/riscof/config32.ini tests/riscof/config32e.ini diff --git a/.gitmodules b/.gitmodules index ddf8c33e0..2e1057a66 100644 --- a/.gitmodules +++ b/.gitmodules @@ -40,3 +40,4 @@ [submodule "addins/berkeley-testfloat-3"] path = addins/berkeley-testfloat-3 url = https://github.com/ucb-bar/berkeley-testfloat-3 + ignore = dirty