mirror of
https://github.com/pbatard/rufus.git
synced 2024-08-14 23:57:05 +00:00
[misc] fix coverity defects
* Also update coverity build script
This commit is contained in:
parent
cc10821361
commit
6a9a14bfb2
4 changed files with 13 additions and 7 deletions
|
@ -1,4 +1,6 @@
|
|||
@echo off
|
||||
set COV_DIR=E:\cov-analysis-win32-7.7.0
|
||||
set PATH=%PATH%;%COV_DIR%\bin
|
||||
set PWD=%~dp0
|
||||
rmdir cov-int /s /q >NUL 2>NUL
|
||||
del cov-int.zip >NUL 2>NUL
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue