]> rtime.felk.cvut.cz Git - omk.git/blobdiff - tests/whole_tree
Update wvtool
[omk.git] / tests / whole_tree
index 141386c9b475eb5879b796a89228970e236f0692..e409c15b45c9a30e50152cea5a4ee4b7b22721ce 100755 (executable)
@@ -4,7 +4,7 @@
 
 rm -f *.mark
 
-make -C subdir W=1
+WVPASS make -C subdir W=1
 
 [ -f 'toplevel.mark' ] || error "Toplevel make was not called".
 [ `wc -l < subdir.mark` -eq 1 ] || error "OMK_SERIALIZE does not work"