a16049a7 by Adam Heath

Turn off set -x.

1 parent 3dc52a3e
#!/bin/bash
set -ex
set -e
TOP_DIR="$(cd "$(dirname "$0")/.."; echo "$PWD")"
export TOP_DIR
......