Remove deadcode in the build script
Remove deadcode in the build script

Reviewed By: ngorogiannis

Differential Revision: D17906654

fbshipit-source-id: 7a2817a48

jvillard/infer,facebook/infer,jvillard/infer,facebook/infer,jvillard/infer,jvillard/infer,jvillard/infer,facebook/infer,facebook/infer,facebook/infer,jvillard/infer,facebook/infer,facebook/infer,jvillard/infer