mirror of
https://github.com/whowechina/popn_pico.git
synced 2025-03-03 16:43:49 +01:00
17 lines
279 B
Bash
17 lines
279 B
Bash
#!/bin/bash
|
|
make check >/dev/null
|
|
|
|
if [ $? -ne 0 ]
|
|
then
|
|
echo "Error: 'make check' found errors, please fix and retry."
|
|
exit 1
|
|
fi
|
|
|
|
make build-verify >/dev/null
|
|
|
|
if [ $? -ne 0 ]
|
|
then
|
|
echo "Error: 'make verify' found outdated files, please fix and retry."
|
|
exit 1
|
|
fi
|