3 # Copyright (C) 2020 Richard W.M. Jones
4 # Copyright (C) 2020 Red Hat Inc.
6 # This program is free software; you can redistribute it and/or modify
7 # it under the terms of the GNU General Public License as published by
8 # the Free Software Foundation; either version 2 of the License, or
9 # (at your option) any later version.
11 # This program is distributed in the hope that it will be useful,
12 # but WITHOUT ANY WARRANTY; without even the implied warranty of
13 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 # GNU General Public License for more details.
16 # You should have received a copy of the GNU General Public License along
17 # with this program; if not, write to the Free Software Foundation, Inc.,
18 # 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
22 goals -f 00-basic-deps.gl > 00-basic-deps.out
24 mv 00-basic-deps.out 00-basic-deps.out.old
25 grep ^g < 00-basic-deps.out.old > 00-basic-deps.out
27 lines=`wc -l 00-basic-deps.out | awk '{print $1}'`
28 for (( i=1; $i <= $lines; i++ )); do
30 prefix=$( sed "${i}q;d" 00-basic-deps.out )
31 # Read the i+1'th to end lines, and check each one does NOT
32 # have $prefix as a prefix.
33 sed -n "$((i+1))~1p" 00-basic-deps.out | grep $prefix && exit 1 ||:
36 rm 00-basic-deps.out 00-basic-deps.out.old