122 |
( cd $1; |
( cd $1; |
123 |
if [ $quick -eq 0 -o ! -r Makefile ]; then |
if [ $quick -eq 0 -o ! -r Makefile ]; then |
124 |
printf 'genmake ... ' 1>&2 |
printf 'genmake ... ' 1>&2 |
125 |
../../../tools/genmake -ieee -mods=../code > make.log 2>&1 |
if [ $ieee -eq 0 ]; then |
126 |
|
../../../tools/genmake -mods=../code > make.log 2>&1 |
127 |
|
else |
128 |
|
../../../tools/genmake -ieee -mods=../code > make.log 2>&1 |
129 |
|
fi |
130 |
if [ $? -ne 0 ]; then |
if [ $? -ne 0 ]; then |
131 |
tail make.log |
tail make.log |
132 |
echo genmakemodel: genmake failed 1>&2 |
echo genmakemodel: genmake failed 1>&2 |
313 |
verbose=1 |
verbose=1 |
314 |
quick=0 |
quick=0 |
315 |
clean=0 |
clean=0 |
316 |
|
ieee=0 |
317 |
longtest=0 |
longtest=0 |
318 |
expts='' |
expts='' |
319 |
|
|
325 |
-verbose) verbose=2;; |
-verbose) verbose=2;; |
326 |
-debug) debug=1;; |
-debug) debug=1;; |
327 |
-clean) clean=1;; |
-clean) clean=1;; |
328 |
|
-ieee) ieee=1;; |
329 |
-longtest) longtest=1;; |
-longtest) longtest=1;; |
330 |
-quiet) verbose=0;; |
-quiet) verbose=0;; |
331 |
-help) show_help; exit 0;; |
-help) show_help; exit 0;; |
332 |
|
-*) echo Unrecognized option:$arg; exit 9;; |
333 |
*) test -d $arg && expts=`echo $expts $arg`;; |
*) test -d $arg && expts=`echo $expts $arg`;; |
334 |
esac |
esac |
335 |
done |
done |