b19583e7d3
This is an initial implementation of the mgmt language. It is a declarative (immutable) functional, reactive, domain specific programming language. It is intended to be a language that is: * safe * powerful * easy to reason about With these properties, we hope this language, and the mgmt engine will allow you to model the real-time systems that you'd like to automate. This also includes a number of other associated changes. Sorry for the large size of this patch.
34 lines
805 B
Bash
Executable File
34 lines
805 B
Bash
Executable File
#!/bin/bash
|
|
# check that headers are properly formatted
|
|
|
|
echo running test-headerfmt.sh
|
|
|
|
#ROOT="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && cd .. && pwd )" # dir!
|
|
ROOT=$(dirname "${BASH_SOURCE}")/..
|
|
cd "${ROOT}"
|
|
. test/util.sh
|
|
|
|
FILE="main.go" # file headers should match main.go
|
|
COUNT=0
|
|
while IFS='' read -r line; do # find what header should look like
|
|
echo "$line" | grep -q '^//' || break
|
|
COUNT=`expr $COUNT + 1`
|
|
done < "$FILE"
|
|
|
|
find_files() {
|
|
git ls-files | grep '\.go$' | grep -v '^examples/' | grep -v '^test/'
|
|
}
|
|
|
|
bad_files=$(
|
|
for i in $(find_files); do
|
|
if ! diff -q <( head -n $COUNT "$i" ) <( head -n $COUNT "$FILE" ) &>/dev/null; then
|
|
echo "$i"
|
|
fi
|
|
done
|
|
)
|
|
|
|
if [[ -n "${bad_files}" ]]; then
|
|
fail_test "The following file headers are not properly formatted: ${bad_files}"
|
|
fi
|
|
echo 'PASS'
|