+ local TMPFILE1="${TMPWORKINGDIRECTORY}/rootdir/tmp/checkdiff.1.tmp"
+ local TMPFILE2="${TMPWORKINGDIRECTORY}/rootdir/tmp/checkdiff.2.tmp"
+ touch "$TMPFILE1" "$TMPFILE2"
+ if [ "$1" != '-' ]; then
+ sed -e '/^profiling:/ d' < "$1" >"$TMPFILE1"
+ else
+ TMPFILE1='-'
+ fi
+ if [ "$2" != '-' ]; then
+ sed -e '/^profiling:/ d' < "$2" >"$TMPFILE2"
+ else
+ TMPFILE2='-'
+ fi
+ local DIFFTEXT="$(command diff -u "$TMPFILE1" "$TMPFILE2" 2>&1 | sed -e '/^---/ d' -e '/^+++/ d' -e '/^@@/ d')"