Modifying the script in case user has env set to use other diff tool in P4DIFF#3

Open

justrajdeep wants to merge 1 commit intoJonParr:masterfrom

justrajdeep:diff-tool

Commits on Sep 7, 2018

Modifying the script in case user has env set to use other diff tool in
Rajdeep
committed