diff options
Diffstat (limited to 'bin/update/make_full_update.sh')
| -rwxr-xr-x | bin/update/make_full_update.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/bin/update/make_full_update.sh b/bin/update/make_full_update.sh index 2c0faef200f8..cb7de49b23d4 100755 --- a/bin/update/make_full_update.sh +++ b/bin/update/make_full_update.sh @@ -32,6 +32,7 @@ if [ $1 = -h ]; then exit 1 fi +check_externals # ----------------------------------------------------------------------------- archive="$1" |