ginstall: handle 'ginstall.py -p other' correctly

Change-Id: I557d3627e20a6bcd44170eee1ffc726040c36d6b
Google-Bug-Id: b/33347994
1 file changed