blob: 48a301a72686d3ace1ab1d036ed8be7ca750b643 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
#!/bin/sh
# convert .c to .lg
if [ -n "$1" ] && [ -f $1 -o -f $1.c ]
then
if [ `basename $1` = `basename $1 .c` ]
then
lgrind -i -v subst $1.c > $1.lg
echo Created $1.lg
else
lgrind -i -v subst $1 > `basename $1 .c`.lg
echo Created `basename $1 .c`.lg
fi
else
echo Usage: $0 "<file>[.c]"
echo $1.c does not exist.
fi
|
