annotate build-aux/find-files-with-tests.sh @ 16023:98fc95793699

missing file for commit 5b2126a8c84f
author John W. Eaton <jwe@octave.org>
date Fri, 08 Feb 2013 21:52:09 -0500
parents
children 43e6415393ff
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
16023
98fc95793699 missing file for commit 5b2126a8c84f
John W. Eaton <jwe@octave.org>
parents:
diff changeset
1 #! /bin/sh
98fc95793699 missing file for commit 5b2126a8c84f
John W. Eaton <jwe@octave.org>
parents:
diff changeset
2
98fc95793699 missing file for commit 5b2126a8c84f
John W. Eaton <jwe@octave.org>
parents:
diff changeset
3 set -e
98fc95793699 missing file for commit 5b2126a8c84f
John W. Eaton <jwe@octave.org>
parents:
diff changeset
4 SED=${SED:-sed}
98fc95793699 missing file for commit 5b2126a8c84f
John W. Eaton <jwe@octave.org>
parents:
diff changeset
5
98fc95793699 missing file for commit 5b2126a8c84f
John W. Eaton <jwe@octave.org>
parents:
diff changeset
6 srcdir="$1"
98fc95793699 missing file for commit 5b2126a8c84f
John W. Eaton <jwe@octave.org>
parents:
diff changeset
7 shift
98fc95793699 missing file for commit 5b2126a8c84f
John W. Eaton <jwe@octave.org>
parents:
diff changeset
8
98fc95793699 missing file for commit 5b2126a8c84f
John W. Eaton <jwe@octave.org>
parents:
diff changeset
9 for arg
98fc95793699 missing file for commit 5b2126a8c84f
John W. Eaton <jwe@octave.org>
parents:
diff changeset
10 do
98fc95793699 missing file for commit 5b2126a8c84f
John W. Eaton <jwe@octave.org>
parents:
diff changeset
11 if [ -f "$arg" ]; then
98fc95793699 missing file for commit 5b2126a8c84f
John W. Eaton <jwe@octave.org>
parents:
diff changeset
12 file="$arg"
98fc95793699 missing file for commit 5b2126a8c84f
John W. Eaton <jwe@octave.org>
parents:
diff changeset
13 else
98fc95793699 missing file for commit 5b2126a8c84f
John W. Eaton <jwe@octave.org>
parents:
diff changeset
14 file="$srcdir/$arg"
98fc95793699 missing file for commit 5b2126a8c84f
John W. Eaton <jwe@octave.org>
parents:
diff changeset
15 fi
98fc95793699 missing file for commit 5b2126a8c84f
John W. Eaton <jwe@octave.org>
parents:
diff changeset
16 if [ "`grep -l '^%!' $file`" ]; then
98fc95793699 missing file for commit 5b2126a8c84f
John W. Eaton <jwe@octave.org>
parents:
diff changeset
17 echo "$file" | $SED "s,\\$srcdir/,,";
98fc95793699 missing file for commit 5b2126a8c84f
John W. Eaton <jwe@octave.org>
parents:
diff changeset
18 fi
98fc95793699 missing file for commit 5b2126a8c84f
John W. Eaton <jwe@octave.org>
parents:
diff changeset
19 done