Commit 0018e68c authored by Matthias Diener's avatar Matthias Diener Committed by Andreas Klöckner
Browse files

Don't fail when /proc/cpuinfo has no model name

parent ce05772b

ci-support.sh

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

  echo "git status:"

  git status -s

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

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

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

}