Re-namespacing a bit to clear out some fairly old stuff from the top level

This commit is contained in:
Dan Buch
2013-01-22 19:10:10 -05:00
parent ab43fb0146
commit 92f7543872
485 changed files with 0 additions and 0 deletions

View File

@@ -0,0 +1,13 @@
#!/bin/bash
if [ -z "$PROCESSING_HOME" ]; then
cat >&2 <<EOM
----------------------------------------------
ERROR: You must define "\$PROCESSING_HOME"
----------------------------------------------
EOM
exit 1
else
echo "Looks like PROCESSING_HOME is set to \"$PROCESSING_HOME\"."
exit 0
fi