summaryrefslogtreecommitdiff
path: root/publish.sh
diff options
context:
space:
mode:
authorTobias Kellner <tobias.kellner@iaik.tugraz.at>2016-02-26 09:35:10 +0100
committerTobias Kellner <tobias.kellner@iaik.tugraz.at>2016-03-14 17:23:01 +0100
commit4f636cbb6f4abcd0941764162605a828a2ae89c6 (patch)
tree7c6523ffe64203fcab84b0d99cee408b9ab3c814 /publish.sh
parenta461a3541ce045ed05d72d91f85a6d1cb888b8f6 (diff)
downloadpdf-over-4f636cbb6f4abcd0941764162605a828a2ae89c6.tar.gz
pdf-over-4f636cbb6f4abcd0941764162605a828a2ae89c6.tar.bz2
pdf-over-4f636cbb6f4abcd0941764162605a828a2ae89c6.zip
Add clean phase to build process
Diffstat (limited to 'publish.sh')
-rwxr-xr-xpublish.sh9
1 files changed, 9 insertions, 0 deletions
diff --git a/publish.sh b/publish.sh
index 48ee53ba..e9f86d1e 100755
--- a/publish.sh
+++ b/publish.sh
@@ -48,6 +48,15 @@ echo -e "Publishing to: $TYELLOW$PUBLISH_DIR$TNORMAL"
mkdir -p "$PUBLISH_DIR"
mkdir -p "$LOG_DIR"
+begin_phase "Cleaning..."
+mvn clean > "$LOG_DIR/clean.log" 2>&1
+RETVAL=$?
+if [ $RETVAL -eq 0 ]; then
+ end_phase "OK"
+else
+ end_phase "FAILED"
+fi
+
profiles=( linux windows mac )
names=( linux windows mac )
if [[ "$1" != "" ]] && [[ "$1" == "--profiles" ]]; then