Skip to content
Snippets Groups Projects

Support new Gaudi CMake

Merged Marco Clemencic requested to merge support-new-gaudi-cmake into master
1 file
+ 10
4
Compare changes
  • Side-by-side
  • Inline
+ 10
4
@@ -24,10 +24,16 @@ shift 2
mkdir -p $log_dir
logfile=$log_dir/$(date +%s%N)-$target-$(echo "$@" | md5sum | cut -c1-32)"-build.log"
echo -e "\033[0;32m($log_dir)\$ " "$@" "\033[0m" >> "$logfile"
set -o pipefail
exec "$@" 2>&1 | tee -a "$logfile"
code=$?
echo -e "\033[0;32m($log_dir)\$" "$@" "\033[0m" >> "$logfile"
# cat is used for merging, we do not need to capture the output
if [ "$1" = "cat" ] ; then
exec "$@"
code=$?
else
set -o pipefail
exec "$@" 2>&1 | tee -a "$logfile"
code=$?
fi
if [ "$code" != "0" ] ; then
echo -e "\033[0;31m[command exited with $code]\033[0m" >> "$logfile"
fi
Loading