File u_intel-gpu-tools-1.7-fix-bashisms.patch of Package intel-gpu-tools
diff -u -r intel-gpu-tools-1.10.orig/tools/intel_gpu_abrt intel-gpu-tools-1.10/tools/intel_gpu_abrt --- intel-gpu-tools-1.10.orig/tools/intel_gpu_abrt 2015-03-16 12:59:27.206858000 +0100 +++ intel-gpu-tools-1.10/tools/intel_gpu_abrt 2015-03-16 12:59:54.602862000 +0100 @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash if [ $(id -ru) -ne 0 ]; then echo "$0 must be run as root"