#!/bin/bash
+
+set -o nounset ## (set -u) error exit on attempts to deref undefined variable
+set -o errexit ## (set -e) error exit if subcommand returns nonzero
+
CFB_ROOT="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
INSTR_DIR="${CFB_ROOT}/../instr"
+. ${CFB_ROOT}/setcp.sh
+
#####################
echo Compiling...
find "${CFB_ROOT}/prod" -name "*.java" | xargs javac -g -Xlint:deprecation