[build] Remove stale build.pl

Summary: No longer used.

Reviewed By: jvillard

Differential Revision: D4047678

fbshipit-source-id: 756a818
master
Josh Berdine 8 years ago committed by Facebook Github Bot
parent fa53fc6efb
commit dbb32b5cc3

@ -1,10 +0,0 @@
#!/usr/bin/perl
# command to configure the build
$inferbuild_configure = "echo 'no configure required'";
# command to execute the build
$inferbuild_make = "make";
# command to clean up before/after the build
$inferbuild_clean = "make clean";
Loading…
Cancel
Save