-
-
Notifications
You must be signed in to change notification settings - Fork 240
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Earlier commit had a few botches in the assignment of the PMID's item field to known metrics. Fix these, and harden mk.rewrite, so that in addition to generating the pmlogrewrite config, this script now also - reports error and exit status 1 for + duplicate metric names + duplicate PMIDs - reports warning and exit status 0 for + gaps in the range of assigned item field values If these had been in place, the earlier (wrong) changes in pmdabind2.pl would have been caught with build failures.
- Loading branch information
Showing
3 changed files
with
63 additions
and
14 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters