Remove old build options from .gitignore

Change-Id: I1f1eaef57e3a3b4109cc6b312ecfa429d7797b92
diff --git a/.gitignore b/.gitignore
index e0354fd..c4cf98b 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,4 +1 @@
-USE_LLVM_COMPILER
-USE_PORTABLE_COMPILER
-SEA_IR_ART
 JIT_ART