From d51bf7bd5f6ca959020e34527d869201a7c8a290 Mon Sep 17 00:00:00 2001
From: M Farkas-Dyck <strake888@proton.me>
Date: Fri, 21 Oct 2022 10:58:41 -0800
Subject: [PATCH] git: ignore HIE files.

Cleans up git status if one sets -fwrite-ide-info in hadrian/ghci.
---
 .gitignore | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.gitignore b/.gitignore
index 4b48294870bd..f9367b973578 100644
--- a/.gitignore
+++ b/.gitignore
@@ -17,6 +17,8 @@ Thumbs.db
 
 *.hi
 *.hi-boot
+*.hie
+*.hie-boot
 *.o-boot
 *.p_o
 *.t_o
-- 
GitLab