d1c454 fix make check on bash 5.1

Authored and Committed by Paolo Bonzini 3 years ago
    fix make check on bash 5.1
    
        
file modified
+2 -0