servers: default compile not update versionign

This commit is contained in:
2019-11-22 17:23:07 +01:00
parent 5e9d70948b
commit a95ab1e13e
10 changed files with 16 additions and 16 deletions

View File

@ -9,7 +9,7 @@ do
echo -e "Compiling $dir [$file]"
cd $dir
make clean
if make ; then
if make version; then
deterror[i]="OK"
else
deterror[i]="FAIL"