NoRedInk/noredink-ui
1
1
Fork 0
mirror of https://github.com/NoRedInk/noredink-ui.git synced 2024-12-24 06:02:36 +03:00
Code Issues Packages Projects Releases Wiki Activity

lift public phony

Browse Source
This commit is contained in:
Brian Hicks 2020-10-29 00:02:20 -05:00
parent 8f2614f380
commit c48d3235fe
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
Shakefile.hs
View File

@ -28,6 +28,8 @@ main =
removeFilesAfter "public" ["//*"]
removeFilesAfter "styleguide-app" ["elm.js", "bundle.js", "elm-stuff"]
phony "public" $ need ["log/public.txt"]
phony "test" $ do
need
[ "log/npm-install.txt",
@ -153,5 +155,3 @@ main =
phony "ci" $ do
need ["log/check-exposed.txt", "test", "log/format.txt", "log/documentation.json", "public"]
phony "public" $ need ["log/public.txt"]