OBS User unknown 2008-04-15 03:02:20 +00:00 committed by Git OBS Bridge
parent d7d716e4ad
commit 9eb183b545

View File

@ -97,8 +97,8 @@ cat > known-failures <<EOF
httpold-4.12 httpold-4.12
mathop-25.14 mathop-25.14
EOF EOF
#eval $MAKE test 2>&1 | tee testresults eval $MAKE test 2>&1 | tee testresults
#grep FAILED testresults | grep -Fqvf known-failures && exit 1 grep FAILED testresults | grep -Fqvf known-failures && exit 1
# If we don't do profile based optimisation, we are done at this point. # If we don't do profile based optimisation, we are done at this point.
test -z "$PFLAGS" && exit 0 test -z "$PFLAGS" && exit 0
# Rebuild and use the profiling results # Rebuild and use the profiling results