diff --git a/contrib/dg-extract-results.sh b/contrib/dg-extract-results.sh old mode 100644 new mode 100755