Uploaded image for project: 'Core Server'
  1. Core Server
  2. SERVER-11289

Put cache for third_party build artifacts in separate directory if possible

    XMLWordPrintable

Details

    • Improvement
    • Status: Closed
    • Minor - P4
    • Resolution: Won't Fix
    • None
    • None
    • Build

    Description

      I often have to rm -r build/cached/.cache since it fills up my disk quickly. It would be nice if there was a similar command to just kill the mongo stuff since the third_party code doesn't change nearly as often.

      Attachments

        Activity

          People

            backlog-server-build Backlog - Build Team
            mathias@mongodb.com Mathias Stearn
            Votes:
            0 Vote for this issue
            Watchers:
            5 Start watching this issue

            Dates

              Created:
              Updated:
              Resolved: