Commit [ac3a0f] Maximize Restore History

ppc64-diag: avoid bashism in

Ubuntu has made dash as its default system shell (/bin/sh).
Though of ppc64-diag is not affected as the script
explicitly sets SHELL to /bin/bash, it might be better to
avoid bashism in long run.
More information at:
This patch removes bashism in

Signed-off-by: Maran Pakkirisamy <>
Signed-off-by: Vasant Hegde <>

Maran Pakkirisamy Maran Pakkirisamy 2014-06-06

Vasant Hegde Vasant Hegde 2014-06-20

changed Diff Switch to side-by-side view