Marc CARRE
8e6cb5e24d
Makes what the build does explicitly and helps for potential debugging. Also reminds us that we are skipping these files, so that we ultimately shfmt them and stop lint-ignoring them.
12 lines
157 B
Bash
Executable File
12 lines
157 B
Bash
Executable File
#!/bin/bash
|
|
|
|
set -e
|
|
|
|
source "$STATE"
|
|
|
|
if [ -n "$TEST_AND_PUBLISH" ] ; then
|
|
cd $SRCDIR
|
|
make DEBUG=1 lint
|
|
COVERDIR=test/coverage make RM= tests
|
|
fi
|