Am 10.01.2012 20:03, schrieb Christian Dywan: > I sort of had a mostly automated build in mind so far. You wouldn't need > that script if all you wanted was to update the sources (1) and nothing > else. The one case I did include was the opposite, you can skip that > update. And it probably makes sense to let you skip ahead to the indexer.
The script now reads (/etc/dxr/)dxr.confg and you call it like this: update.sh mozilla-central [your-remote-web-server] This makes the script almost generic except for the IDL hack. Note that the config reading is probably not too robust, I only tested it a little, and really wanted to get the idea out there. It would fit the trend to also use dxr.config for setup-env.sh (see https://bugzilla.mozilla.org/show_bug.cgi?id=707627). _______________________________________________ dev-static-analysis mailing list [email protected] https://lists.mozilla.org/listinfo/dev-static-analysis
