NoRedInk/noredink-ui
1
1
Fork 0
mirror of https://github.com/NoRedInk/noredink-ui.git synced 2024-11-27 13:02:42 +03:00
Code Issues Packages Projects Releases Wiki Activity

only track that git stuff is read

Browse Source
This commit is contained in:
Brian Hicks 2020-10-30 16:24:26 -05:00
parent 49ccbbe227
commit a3b6e1e00e
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Shakefile.hs
View File

@ -141,7 +141,7 @@ main =
-- npm looks in some unrelated files for whatever reason. We mark
-- them as used here to avoid getting linter errors.
gitHeads <- getDirectoryFiles "." [".git/refs/heads/*"]
needed (["README.md", ".git/HEAD"] ++ gitHeads)
trackRead (["README.md", ".git/HEAD"] ++ gitHeads)
-- now that we've satisfied the linter, let's build.
need ["package.json", "package-lock.json"]