mirror of
https://github.com/mozilla/gecko-dev.git
synced 2025-01-12 23:12:21 +00:00
49680acf08
SpiderMonkey now has its own copy of some of the files from ./config and ./build. Since there is a decent amount of churn in that area, I don't want it to become a burden to make merges back and forth. This patch adds a comment explaining the 'identical if present' policy, and runs a script to verify that it's actually being observed.