0fd438c Run fix_manifest.sh in bash

Authored and Committed by Libor Polčák 3 years ago
    Run fix_manifest.sh in bash
    
    pushd/popd is a bashism so make sure that fix_manifest.sh executes in
    bash
    
        
file modified
+1 -1