diff options
| -rw-r--r-- | .gitignore | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 27709cb449..38a354b23c 100644 --- a/.gitignore +++ b/.gitignore @@ -222,4 +222,10 @@ GIT_COMMIT_ID ghc.nix/ +# ----------------------------------------------------------------------------- +# Use case: list all relevant tests in this file and run +# hadrian/build.sh -j --flavour=Quick --freeze1 test --only="$(cat tests)" +/tests + + .gdb_history |