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