From dbb32b5cc3d6cdf4fdb94aac18432a8ddaa980af Mon Sep 17 00:00:00 2001
From: Josh Berdine <jjb@fb.com>
Date: Thu, 20 Oct 2016 04:53:50 -0700
Subject: [PATCH] [build] Remove stale build.pl

Summary: No longer used.

Reviewed By: jvillard

Differential Revision: D4047678

fbshipit-source-id: 756a818
---
 infer/models/build.pl | 10 ----------
 1 file changed, 10 deletions(-)
 delete mode 100755 infer/models/build.pl

diff --git a/infer/models/build.pl b/infer/models/build.pl
deleted file mode 100755
index 4f5d170d1..000000000
--- a/infer/models/build.pl
+++ /dev/null
@@ -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";