mirror-games/glest-source
1
0
Fork 0
mirror of https://github.com/glest/glest-source.git synced 2025-08-27 01:44:23 +02:00
Code Issues Projects Releases Wiki Activity

Make the coverity-scan script use a configuration file name which is closer to its own name

Browse Source
This commit is contained in:
Tom Reynolds
2014-01-25 13:55:56 +01:00
parent 32f0e2cbea
commit d95a47807e
2 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
data/glest_game

Submodule data/glest_game updated: 28765fb9ba...aec11c7371

2
mk/linux/coverity-scan.sh
View File

@@ -40,7 +40,7 @@ if [ ! -f ${CURRENTDIR}/.coverity-submit ] ; then
exit 1 exit 1
fi fi
. ${CURRENTDIR}/.coverity-submit . ${CURRENTDIR}/.coverity-scan
# echo "Read config values: TOKEN [$TOKEN] EMAIL [$EMAIL] COVERITY_ANALYSIS_ROOT [$COVERITY_ANALYSIS_ROOT] NUMCORES [${NUMCORES}]" # echo "Read config values: TOKEN [$TOKEN] EMAIL [$EMAIL] COVERITY_ANALYSIS_ROOT [$COVERITY_ANALYSIS_ROOT] NUMCORES [${NUMCORES}]"
# exit 1 # exit 1