fakusb

#!/bin/bash
#List all .v files that do not have .vo files next to them (usefull to test what did not actually get compiled)

for f in $(find ./ -name '*.v');
do
    fv="${f%.*}.vo" ;
    if ! [[ -f $fv ]]; then
        ls "$f" 
    fi
done