Commit 657eb125 authored by Andreas Klöckner's avatar Andreas Klöckner
Browse files

Only print CPU info if /proc/cpuinfo exists

parent 610dcc43

ci-support.sh

+1 −1
Original line number Diff line number Diff line
@@ -56,7 +56,7 @@ print_status_message() 
  echo "git revision: $(git rev-parse --short HEAD)"

  echo "git status:"

  git status -s

  cat /proc/cpuinfo | grep 'model name' | head -n 1

  test -f /proc/cpuinfo && ( grep 'model name' /proc/cpuinfo | head -n 1)

  echo "-----------------------------------------------"

}