tools/times.sh: exit if prereq were not met
Signed-off-by: Toralf Förster <toralf.foerster@gmx.de>
This commit is contained in:
parent
4b135b935d
commit
c1d8d1b26a
|
@ -2,8 +2,8 @@
|
||||||
#
|
#
|
||||||
# Simple script to generate times.log that contains timing information for the last <n> revisions
|
# Simple script to generate times.log that contains timing information for the last <n> revisions
|
||||||
# Typically these commands shall be used to get times.txt:
|
# Typically these commands shall be used to get times.txt:
|
||||||
mkdir -p src
|
mkdir -p src || exit 1
|
||||||
cp lib/* src/ # fill src/ with some source code
|
cp lib/* src/ || exit 2 # fill src/ with some source code
|
||||||
#NOTE: also try with some files other then from cppcheck!
|
#NOTE: also try with some files other then from cppcheck!
|
||||||
|
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue