cwd=$(pwd)
is_optional="false"
+finish() {
+ # Fix ownership of output files
+ user_id=$(stat -c '%u:%g' $cwd)
+ sudo chown -R ${user_id} $results_dir
+}
+
info () {
logger -s -t "run_blu_val.info" "$*"
}
fi
fi
+trap finish EXIT
+
if [ ! -d "$cwd/validation" ]
then
git clone http://gerrit.akraino.org/r/validation