check-changes revision ce76952df3c1a8d5da2e98849a1464f500c0aa38
d6fa26d0adaec6c910115be34fe7a5a5f402c14fMark Andrews#!/usr/bin/perl
5a4557e8de2951a2796676b5ec4b6a90caa5be14Mark Andrewseval 'exec /usr/bin/perl -S $0 ${1+"$@"}'
32098293b78922a5fbd10906afa28624820d3756Tinderbox User if $running_under_some_shell;
5a4557e8de2951a2796676b5ec4b6a90caa5be14Mark Andrews # this emulates #! processing on NIH machines.
5347c0fcb04eaea19d9f39795646239f487c6207Tinderbox User # (remove #! line above if indigestible)
5347c0fcb04eaea19d9f39795646239f487c6207Tinderbox User
5347c0fcb04eaea19d9f39795646239f487c6207Tinderbox Usereval '$'.$1.'$2;' while $ARGV[0] =~ /^([A-Za-z_0-9]+=)(.*)/ && shift;
5a4557e8de2951a2796676b5ec4b6a90caa5be14Mark Andrews # process any FOO=bar switches
d6fa26d0adaec6c910115be34fe7a5a5f402c14fMark Andrews
5a4557e8de2951a2796676b5ec4b6a90caa5be14Mark Andrews$, = ' '; # set output field separator
5a4557e8de2951a2796676b5ec4b6a90caa5be14Mark Andrews$\ = "\n"; # set output record separator
5a4557e8de2951a2796676b5ec4b6a90caa5be14Mark Andrews
fd2597f75693a2279fdf588bd40dfe2407c42028Tinderbox User$change = 0;
14a656f94b1fd0ababd84a772228dfa52276ba15Evan Hunt$status = 0;
cd32f419a8a5432fbb139f56ee73cbf68b9350ccTinderbox User
1e9517ea2156b990be21f44676d3370318eacf17Tinderbox Userline: while (<>) {
e108f2ec640e1acb54999c0ade58af606149956dTinderbox User ($Fld1,$Fld2) = split(' ', $_, 9999);
5a4557e8de2951a2796676b5ec4b6a90caa5be14Mark Andrews if ($Fld1 =~ /^[1-9][0-9]*\.$/ && $Fld2 =~ /^\[.*\]$/) {
5a4557e8de2951a2796676b5ec4b6a90caa5be14Mark Andrews if ($change != 0 && $Fld1 + 1 != $change) {
5a4557e8de2951a2796676b5ec4b6a90caa5be14Mark Andrews print 'bad change number', $Fld1;
5a4557e8de2951a2796676b5ec4b6a90caa5be14Mark Andrews $status = 1;
5a4557e8de2951a2796676b5ec4b6a90caa5be14Mark Andrews }
5a4557e8de2951a2796676b5ec4b6a90caa5be14Mark Andrews $change = $Fld1;
5a4557e8de2951a2796676b5ec4b6a90caa5be14Mark Andrews }
1e9517ea2156b990be21f44676d3370318eacf17Tinderbox User}
5a4557e8de2951a2796676b5ec4b6a90caa5be14Mark Andrews
e108f2ec640e1acb54999c0ade58af606149956dTinderbox Userexit $status;
5a4557e8de2951a2796676b5ec4b6a90caa5be14Mark Andrews