2012-01-02 05:32:34 +00:00
|
|
|
#!/bin/bash
|
|
|
|
|
|
|
|
|
|
if [ -z "$PROCESSING_HOME" ]; then
|
|
|
|
|
cat >&2 <<EOM
|
2012-01-02 05:52:00 +00:00
|
|
|
----------------------------------------------
|
|
|
|
|
ERROR: You must define "\$PROCESSING_HOME"
|
|
|
|
|
----------------------------------------------
|
2012-01-02 05:32:34 +00:00
|
|
|
EOM
|
|
|
|
|
exit 1
|
|
|
|
|
else
|
|
|
|
|
echo "Looks like PROCESSING_HOME is set to \"$PROCESSING_HOME\"."
|
|
|
|
|
exit 0
|
|
|
|
|
fi
|
