Commit c12290f8 authored by Mikhail Glushenkov's avatar Mikhail Glushenkov Committed by GitHub
Browse files

Merge pull request #3868 from ezyang/pr/build-msg-custom

Print that we are building all due to Custom setup.
parents 3665f6fd 512648fd
......@@ -1005,8 +1005,9 @@ buildAndInstallUnpackedPackage verbosity
let dispname = case elabPkgOrComp pkg of
ElabPackage _ -> display pkgid
ElabComponent comp -> display pkgid ++ " "
++ maybe "custom" display (compComponentName comp)
++ " (all, due to Custom setup)"
ElabComponent comp -> display pkgid
++ " (" ++ maybe "custom" display (compComponentName comp) ++ ")"
-- Configure phase
when isParallelBuild $
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment