native: Add oclgrind dep

Issue #88.
ChrisCummins · Mar 25, 2017 · 9c167f7 · 9c167f7
1 parent e864fb0
commit 9c167f7
Showing 1 changed file with 2 additions and 1 deletion.
diff --git 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