diff --git a/tools/update-submodules.sh b/tools/update-submodules.sh
deleted file mode 100755
index 6f5c9108c..000000000
--- a/tools/update-submodules.sh
+++ /dev/null
@@ -1,17 +0,0 @@
-#!/usr/bin/env bash
-#
-# This script assumes a linux environment
-
-set -e
-
-echo "*** Update submodules"
-
-git submodule update --remote
-if [[ $(git diff ./submodules/) ]]; then
-    git add -u submodules/
-    git commit -m 'Update submodules'
-    git push origin master
-    echo "*** Submodules updated"
-else
-    echo "*** Submodules are already up to date"
-fi