X-Git-Url: https://asedeno.scripts.mit.edu/gitweb/?a=blobdiff_plain;f=Buildscr.cv;h=d2df1535dc827cc953bb78b61fc1bb832b9a4933;hb=42c592c4ef024af30af91241f651f699d6dbff0b;hp=877865f3b7e738afa52114683465a7f31d18a653;hpb=3b278a95f886d5af862ad42b11080010d296cd99;p=PuTTY.git

diff --git a/Buildscr.cv b/Buildscr.cv
index 877865f3..d2df1535 100644
--- a/Buildscr.cv
+++ b/Buildscr.cv
@@ -25,7 +25,7 @@ enddelegate
 # Windows scanner for download).
 delegate covscan32wine
   in putty do tar xzvf cov-int.tar.gz
-  in putty/windows do cov-build --dir ../cov-int make -f Makefile.cyg CC=winegcc RC=wrc
+  in putty/windows do cov-build --dir ../cov-int make -f Makefile.cyg CC=winegcc RC=wrc XFLAGS=-DCOVERITY
   in putty do tar czvf cov-int.tar.gz cov-int
   return putty/cov-int.tar.gz
 enddelegate
@@ -33,7 +33,7 @@ enddelegate
 # Provide the revision number as one of the build outputs, to make it
 # easy to construct a curl upload command which will annotate it
 # appropriately when uploaded.
-in putty do echo $(revision) > revision.txt
+in putty do echo $(vcsfullid) > revision.txt
 
 deliver putty/revision.txt $@
 deliver putty/cov-int.tar.gz $@