From 38f8d54c3f917859b3e14c6487ef4d52678f9cfb Mon Sep 17 00:00:00 2001
From: Kevin Mark <kmark937@gmail.com>
Date: Sun, 30 Jun 2019 23:21:08 -0400
Subject: [PATCH] Add ISL and build directories to .gitignore

---
 .gitignore | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.gitignore b/.gitignore
index 2032466..47f44e1 100644
--- a/.gitignore
+++ b/.gitignore
@@ -9,3 +9,5 @@
 /mpfr-*/
 /build-*/
 /linux-*/
+/isl-*/
+/build/