51 lines
878 B
Bash
51 lines
878 B
Bash
#!/bin/bash
|
|
#
|
|
# This shell script will run make and create trace.txt
|
|
# cmd: mak.sh [filename(s)]
|
|
# David Essex April 2001
|
|
#
|
|
e0a="invalid number of parms..."
|
|
e0b="invalid option(s) "
|
|
e0c="This shell script will run make and create trace.txt"
|
|
e0d="cmd: mak.sh [filename(s)]"
|
|
#
|
|
p_print1 ()
|
|
{
|
|
for arg in "$@"
|
|
do
|
|
echo $arg >&2
|
|
done
|
|
}
|
|
#
|
|
PATH=../../compiler:$PATH
|
|
#TCOB_DIR=$PWD/../../compiler
|
|
#TCOB_PPDIR=$PWD/../../cobpp
|
|
#export TCOB_DIR TCOB_PPDIR
|
|
TCOB_OPTIONS_PATH=$PWD/../../compiler
|
|
TCOB_PP_PATH=$PWD/../../cobpp
|
|
export TCOB_OPTIONS_PATH TCOB_PP_PATH
|
|
#
|
|
#prglst=''
|
|
prglst=`make programlist`
|
|
prg=''
|
|
#
|
|
p_main ()
|
|
{
|
|
make clean
|
|
for prg in "$@"
|
|
do
|
|
make $prg 2>$prg.run.err.trace.txt | tee -a $prg.run.trace.txt
|
|
# echo "make for $prg"
|
|
done
|
|
}
|
|
#
|
|
if [ "$#" -eq 0 ]
|
|
then
|
|
p_main $prglst
|
|
# echo "prglst="$prglst
|
|
else
|
|
p_main "$@"
|
|
# echo "prglst="$prglst
|
|
fi
|
|
#
|