diff --git a/.gitignore b/.gitignore index 815d256cec..fb329586a3 100644 --- a/.gitignore +++ b/.gitignore @@ -3,6 +3,7 @@ .#* *.lock build +!/src/lake/Lake/Build GPATH GRTAGS GSYMS @@ -25,4 +26,4 @@ fwIn.txt fwOut.txt wdErr.txt wdIn.txt -wdOut.txt \ No newline at end of file +wdOut.txt diff --git a/src/lake/.gitignore b/src/lake/.gitignore index 59ebc302c5..db78fe886e 100644 --- a/src/lake/.gitignore +++ b/src/lake/.gitignore @@ -1,5 +1,3 @@ /build produced.out result* -# Do not commit the flake lockfile to avoid having to maintain it -flake.lock