From f5a673fb3b5cb6e1d1dad19dcb151ab132e4bb6e Mon Sep 17 00:00:00 2001
From: Jeffrey Sarnoff <JeffreySarnoff@users.noreply.github.com>
Date: Wed, 6 Mar 2019 19:38:59 -0500
Subject: [PATCH] Update build.jl

---
 deps/build.jl | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/deps/build.jl b/deps/build.jl
index cbc5aa5..a2eeb79 100644
--- a/deps/build.jl
+++ b/deps/build.jl
@@ -188,14 +188,14 @@ if !Sys.iswindows()
     cd(wdir)
   catch
     if ispath(joinpath("$wdir", "flint2"))
-       open(`patch -R --forward -d flint2 -r -`, "r", open("../deps-PIE-ftbfs.patch"))
+      # open(`patch -R --forward -d flint2 -r -`, "r", open("../deps-PIE-ftbfs.patch"))
        cd(joinpath("$wdir", "flint2"))
        run(`git fetch`)
        run(`git checkout $FLINT_VERSION`)
        cd(wdir)
     end
   end
-  open(`patch --forward -d flint2 -r -`, "r", open("../deps-PIE-ftbfs.patch"))
+  # open(`patch --forward -d flint2 -r -`, "r", open("../deps-PIE-ftbfs.patch"))
   println("DONE")
 end