From 0933aa4ea511688788f4ba77ac51d80f2c783d1b Mon Sep 17 00:00:00 2001
From: Russ Magee <rmagee@gmail.com>
Date: Thu, 30 Jan 2020 12:55:15 -0800
Subject: [PATCH] Added lint stage to push script

Signed-off-by: Russ Magee <rmagee@gmail.com>
---
 bacillus/ci_pushbuild.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/bacillus/ci_pushbuild.sh b/bacillus/ci_pushbuild.sh
index bdadbc1..e763c98 100755
--- a/bacillus/ci_pushbuild.sh
+++ b/bacillus/ci_pushbuild.sh
@@ -63,6 +63,9 @@ fi
 stage "Test(C->S)"
 echo "TODO ..."
 
+stage "Lint"
+make lint >lint.out
+
 stage "Artifacts"
 echo -n "Creating tarfile ..."
 tar -cz --exclude=.git --exclude=cptest -f ${BACILLUS_ARTFDIR}/xs.tgz .