40 |
sed -e "s%[^ ]*saved_[^ ]*%$$tmp/saved_pargcl%g" | \ |
sed -e "s%[^ ]*saved_[^ ]*%$$tmp/saved_pargcl%g" | \ |
41 |
sed -f pargcl.sed \ |
sed -f pargcl.sed \ |
42 |
> ../bin/par`basename ${GCL}` |
> ../bin/par`basename ${GCL}` |
43 |
|
if "${INSTALL_GCL_DIR}" != ""; then |
44 |
|
cat ${GCL} | \ |
45 |
|
sed -e "s%saved_[^ ]*%saved_pargcl%g" | \ |
46 |
|
sed -f pargcl.sed \ |
47 |
|
> `dirname ${GCL}`/par`basename ${GCL}`; \ |
48 |
|
fi |
49 |
# if [ ! -s par`basename ${GCL}` ] |
# if [ ! -s par`basename ${GCL}` ] |
50 |
# then |
# then |
51 |
# echo "echo This does not work if .cshrc prints to stdout" > par${GCL} |
# echo "echo This does not work if .cshrc prints to stdout" > par${GCL} |