a9e6b6 scripts/run_oldconfig.sh: use pahole from dummy-tools if available (bsc#1198388)

Authored and Committed by Jiri Slaby 2 years ago
    scripts/run_oldconfig.sh: use pahole from dummy-tools if available (bsc#1198388)
    
    Similar to other dummy-tools, use also pahole from dummy-tools, if it is
    available. This makes the configs consistent on all distros, not
    dependining on developers' version.
    
        
file modified
+3 -0