Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix bad interaction between promotion and incremental builds on OSX #460

Merged
merged 2 commits into from
Feb 1, 2018

Commits on Feb 1, 2018

  1. Remove files from the digest cache when promoting them.

    This is to avoid problems with incremental compilation on OSX.
    
    Fix #456
    Jeremie Dimino authored and jeremiedimino committed Feb 1, 2018
    Configuration menu
    Copy the full SHA
    b9c4dd2 View commit details
    Browse the repository at this point in the history
  2. Remove old stuff about updated files

    This dates from the time we were using timestamps for incremental
    compilation.
    Jeremie Dimino authored and jeremiedimino committed Feb 1, 2018
    Configuration menu
    Copy the full SHA
    143145b View commit details
    Browse the repository at this point in the history