1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
#! /bin/sh
#
# $Id$
# ----------------------------------------------------------------------
#
# usage: collect_files file ...
#
# Prints the names of the files passed as arguments which actually
# exist and are regular files.
for x in "$@"; do
if [ -f "$x" ]; then
case "$x" in
*.p.cmi) : ;;
*.p.so) : ;;
*) echo "$x" ;;
esac
fi
done
# ======================================================================
#
# $Log$
# Revision 1.1 2001/10/04 01:56:23 stolpmann
# Initial revision
#
# Revision 1.1 2000/07/27 21:07:26 gerd
# Initial revision.
#
|
