diff --git a/contrib/extractor_binary/ExtractResources.sh b/contrib/extractor_binary/ExtractResources.sh index 089e97a69..efd131239 100644 --- a/contrib/extractor_binary/ExtractResources.sh +++ b/contrib/extractor_binary/ExtractResources.sh @@ -144,7 +144,7 @@ fi if [ "$USE_VMAPS" = "1" ] then echo "`date`: Start extraction of vmaps..." | tee -a $LOG_FILE - vmapExtractor3 | tee -a $DETAIL_LOG_FILE + vmapExtractor4 | tee -a $DETAIL_LOG_FILE echo "`date`: Extracting of vmaps finished" | tee -a $LOG_FILE mkdir vmaps echo "`date`: Start assembling of vmaps..." | tee -a $LOG_FILE diff --git a/contrib/extractor_binary/vmapExtractor3.exe b/contrib/extractor_binary/vmapExtractor3.exe deleted file mode 100644 index 6bbc88357..000000000 Binary files a/contrib/extractor_binary/vmapExtractor3.exe and /dev/null differ diff --git a/contrib/extractor_binary/vmapExtractor4.exe b/contrib/extractor_binary/vmapExtractor4.exe new file mode 100644 index 000000000..515b3f93d Binary files /dev/null and b/contrib/extractor_binary/vmapExtractor4.exe differ diff --git a/src/shared/revision_nr.h b/src/shared/revision_nr.h index 540eebb3e..6692532eb 100644 --- a/src/shared/revision_nr.h +++ b/src/shared/revision_nr.h @@ -1,4 +1,4 @@ #ifndef __REVISION_NR_H__ #define __REVISION_NR_H__ - #define REVISION_NR "0137" + #define REVISION_NR "0138" #endif // __REVISION_NR_H__