From 4bbc2c7e3d5da101b9dcbb37d3971651fc8fdf76 Mon Sep 17 00:00:00 2001
From: Benjamin Bannier <benjamin.bannier@corelight.com>
Date: Tue, 30 Jul 2024 13:11:30 +0200
Subject: [PATCH] Remember files processed by the driver.

We did this previously but stopped doing it with #1462.
---
 hilti/toolchain/src/compiler/driver.cc | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/hilti/toolchain/src/compiler/driver.cc b/hilti/toolchain/src/compiler/driver.cc
index 96417dd25..b52897fe1 100644
--- a/hilti/toolchain/src/compiler/driver.cc
+++ b/hilti/toolchain/src/compiler/driver.cc
@@ -573,8 +573,6 @@ Result<Nothing> Driver::addInput(const hilti::rt::filesystem::path& path) {
 
         (*unit)->setRequiresCompilation();
         _addUnit(*unit);
-
-        return Nothing();
     }
 
     else if ( path.extension() == ".cc" || path.extension() == ".cxx" ) {
@@ -612,11 +610,13 @@ Result<Nothing> Driver::addInput(const hilti::rt::filesystem::path& path) {
         } catch ( const hilti::rt::EnvironmentError& e ) {
             hilti::rt::fatalError(e.what());
         }
-
-        return Nothing();
     }
 
-    return error("unsupported file type", path);
+    _processed_paths.insert(path);
+
+    _processed_paths.insert(path.native());
+
+    return Nothing();
 }
 
 Result<Nothing> Driver::addInput(declaration::module::UID uid) {