From 9c167f76df4a3f7b4014a1542313f62b22796b27 Mon Sep 17 00:00:00 2001
From: Chris Cummins <chrisc.101@gmail.com>
Date: Sat, 25 Mar 2017 13:42:38 +0000
Subject: [PATCH] native: Add oclgrind dep

Issue #88.
---
 .gitignore | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index ce233b768..914e9b974 100644
--- a/.gitignore
+++ b/.gitignore
@@ -20,10 +20,11 @@
 
 # native stuff
 /native/cmake
+/native/gpuverify
 /native/libclc
 /native/llvm
-/native/gpuverify
 /native/ninja
+/native/oclgrind
 
 # build cache
 /.cache