commit 09b21a6f01e32c85c5c349878fa58c49dc898d57
parent e9d78fb8a1dd1431815011fd99344f774accde49
Author: Marcello Stanisci <stanisci.m@gmail.com>
Date: Mon, 11 Dec 2017 16:44:40 +0100
pull code before trying to lint it!
Diffstat:
4 files changed, 44 insertions(+), 3 deletions(-)
diff --git a/taler-build/lint_bank.sh b/taler-build/lint_bank.sh
@@ -1,4 +1,13 @@
#!/bin/bash
+set -eu
+
cd $HOME/bank
+git clean -fxd
+
+git fetch
+# reset to updated upstream branch, but only if we're tracking a branch
+branch=$(git rev-parse --abbrev-ref --symbolic-full-name @{u} 2>/dev/null || echo HEAD)
+git reset --hard "$branch"
+
pylint --load-plugins pylint_django talerbank/
diff --git a/taler-build/lint_blog.sh b/taler-build/lint_blog.sh
@@ -1,4 +1,16 @@
#!/bin/bash
-cd $HOME/blog
+set -eu
+
+cd $HOME/blog/
+git clean -fxd
+
+git fetch
+# reset to updated upstream branch, but only if we're tracking a branch
+branch=$(git rev-parse --abbrev-ref --symbolic-full-name @{u} 2>/dev/null || echo HEAD)
+git reset --hard "$branch"
+
+git submodule update --init --force
+
+
pylint talerblog/
diff --git a/taler-build/lint_donations.sh b/taler-build/lint_donations.sh
@@ -1,4 +1,13 @@
#!/bin/bash
-cd $HOME/donations
+cd $HOME/donations/
+git clean -fxd
+
+git fetch
+# reset to updated upstream branch, but only if we're tracking a branch
+branch=$(git rev-parse --abbrev-ref --symbolic-full-name @{u} 2>/dev/null || echo HEAD)
+git reset --hard "$branch"
+
+git submodule update --init --force
+
pylint talerdonations/
diff --git a/taler-build/lint_survey.sh b/taler-build/lint_survey.sh
@@ -1,4 +1,15 @@
#!/bin/bash
-cd $HOME/survey
+set -eu
+
+cd $HOME/survey/
+git clean -fxd
+
+git fetch
+# reset to updated upstream branch, but only if we're tracking a branch
+branch=$(git rev-parse --abbrev-ref --symbolic-full-name @{u} 2>/dev/null || echo HEAD)
+git reset --hard "$branch"
+
+git submodule update --init --force
+
pylint talersurvey/