04.06., 9:00 - 12:00: GitLab will be migrated to a new server environment and upgraded to Enterprise Edition Ultimate. The estimated downtime will be 2-3 hours. Please see https://doku.lrz.de/display/PUBLIC/GitLab+Ultimate+Migration for more details about changes related to the migration.

Commit be437b2e authored by Jean-Matthieu's avatar Jean-Matthieu

fix submodule update script libxsmm diff check

parent 163e9dbf
......@@ -204,14 +204,14 @@ update_others() {
echo "Update libxsmm submodule"
cd libxsmm
LOCAL=$(git rev-parse master)
REMOTE=$(git rev-parse origin/master)
if [ $LOCAL = $REMOTE ]; then
LIBXSMM_DIFF_COUNT=$(git rev-list HEAD...origin/release --count)
if [ $LIBXSMM_DIFF_COUNT -eq 0 ]; then
echo "Up-to-date"
git stash -q #silently stash the changes (deleted directories)
git pull origin master
git checkout -- samples/
git checkout -- documentation/
git pull origin release
git stash pop -q #silently unstash the changes (deleted directories)
rm -rf samples/ #delete potential new stuff
rm -rf documentation/ #delete potential new stuff
Markdown is supported
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment