3 Commits (d1d3d15eb78d31a2fc967fc4da2ca2246ff62028)

Author	SHA1	Message	Date
Kai Liu	f3dea8c13c	Commit the correct fix for Jenkin failure ... Summary: My last commit is not the correct one. Fix it in this diff. Test Plan: Reviewers: CC: Task ID: # Blame Rev:	11 years ago
Kai Liu	159c19ac7b	Fix Jenkin build failure ... Summary: Previously I changed the line `source ./fbcode.gcc471.sh` to `source fbcode.gcc471.sh`. It works in my devbox but failed in some jenkin servers. I revert the previous code to make sure it works well under all circumstances. Test Plan: Test in the jenkin server as well as dev box. Reviewers: CC: Task ID: # Blame Rev:	11 years ago
Kai Liu	457dcc605a	Clean up the Makefile and the build scripts ... Summary: As Aaron suggested, there are quite some problems with our Makefile and scripts. So in this diff I did some cleanup for them and revise some part of the scripts/makefile to help people better understand some mysterious parts. Test Plan: Ran make in several modes; Ran the updated scripts. Reviewers: dhruba, emayanke, akushner Differential Revision: https://reviews.facebook.net/D12285	11 years ago