From cf4f80c9ae72e125355ba22322b92d110219e5cf Mon Sep 17 00:00:00 2001 From: Josh Holtrop Date: Tue, 9 Jul 2019 21:47:45 -0400 Subject: [PATCH] user guide: document first compiler found is used --- doc/user_guide.md | 1 + 1 file changed, 1 insertion(+) diff --git a/doc/user_guide.md b/doc/user_guide.md index 1d80811..5e3cc3b 100644 --- a/doc/user_guide.md +++ b/doc/user_guide.md @@ -220,6 +220,7 @@ working compiler: Each of these methods can take an optional list of compilers to check for. If such a list is supplied, the compilers are tested in the order listed. +The first compiler option found which passes a compilation test is used. Here are example calls which also show the default compiler list for each supported language: