diff options
-rwxr-xr-x | scripts/update-gcc | 2 | ||||
-rwxr-xr-x | scripts/update-gdb | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/scripts/update-gcc b/scripts/update-gcc index 90b2202..db01020 100755 --- a/scripts/update-gcc +++ b/scripts/update-gcc @@ -9,7 +9,7 @@ if [ ! -e metadata.xml ] ; then exit 1 fi -export FEATURES="assume-digests -strict" +export FEATURES="assume-digests -strict digest" date diff --git a/scripts/update-gdb b/scripts/update-gdb index e0a90fb..a2b75db 100755 --- a/scripts/update-gdb +++ b/scripts/update-gdb @@ -11,7 +11,7 @@ if [ ! -e metadata.xml ] ; then exit 1 fi -export FEATURES="assume-digests -strict" +export FEATURES="assume-digests -strict digest" date |