From cb7efe989f0a51d470f72360036a5ec67a358f88 Mon Sep 17 00:00:00 2001
From: Edoardo La Greca
Date: Sun, 4 May 2025 17:17:54 +0200
Subject: improve comment in make file

---
 Makefile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index ccd5b0a..081d769 100644
--- a/Makefile
+++ b/Makefile
@@ -8,7 +8,8 @@ TESTFILE = hello.c
 # All object files are listed here:
 OBJS = $(OBJS_PLATDEP)
 
-# Add platform dependent object files here:
+# Assign the platform-dependent object file set here:
+# TODO: assign a default implementation independent of the platform
 OBJS_PLATDEP =
 
 # Add platform-dependent object files in separate variables ("OBJS_NAME", e.g.
-- 
cgit v1.2.3