Bugfix/add makefile lint fix warnings (#39)

* fix warnings indicated by scan-build lint tool * add lint target to makefile using scan-build tool * add lint into build script stages (note: uses scan-build-7) * fix potential use of memory after it is freed
2020-01-28 18:48:29 -06:00
parent f8ce70470c
commit 914f502cff
18 changed files with 157 additions and 105 deletions
@@ -30,8 +30,7 @@ jobs:
    - stage: lint
      os: linux
      compiler: clang
-      # script: scan-build --status-bugs -analyze-headers -v make -j2 clean server
-      script: skip
+      script: make clean lint
    - stage: ports-arm
      os: linux
      before_script: