From 99cbca9a22586b5b42e6332ded0092a3d3a38f5b Mon Sep 17 00:00:00 2001
From: manuel <manuel@focs.ji.sjtu.edu.cn>
Date: Wed, 2 Oct 2024 16:39:11 +0800
Subject: [PATCH] Update JOJ3 Configuration Schema

---
 JOJ3-Configuration-Schema.md | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/JOJ3-Configuration-Schema.md b/JOJ3-Configuration-Schema.md
index 7695d21..763c41e 100644
--- a/JOJ3-Configuration-Schema.md
+++ b/JOJ3-Configuration-Schema.md
@@ -27,6 +27,7 @@ Health check configuration:
 Basic idea: 
 - list all stages that are to be run
 - provide config for each stage
+- for compilation we need the command and an optional list of extra files to "import"
 - various code quality tools can be used, but they all feature: 
   - a command
   - a list of tests
@@ -38,7 +39,7 @@ Basic idea:
 stages = [ "compile", "code_quality", "joj" ]
 
 [compile]
-compiler = "cmake"
+command = "cmake"
 copyfiles= [ "main.c", "task.h" ]
 
 [[code_quality]]