aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xupdate_external_sources.sh1
1 files changed, 1 insertions, 0 deletions
diff --git a/update_external_sources.sh b/update_external_sources.sh
index f9f94ec3..fa740a64 100755
--- a/update_external_sources.sh
+++ b/update_external_sources.sh
@@ -60,6 +60,7 @@ function update_spirv-tools () {
else
cd $BASEDIR/spirv-tools/external/spirv-headers
git fetch --all
+ git checkout master
git pull
fi
}