re-add deleted comment

This commit is contained in:
Brendan Hansknecht 2022-07-22 23:47:19 -07:00
parent dedc408e3d
commit a9d4bb2f8b
No known key found for this signature in database
GPG key ID: A2E3B0B6E483038E

View file

@ -816,6 +816,7 @@ mod cli_run {
let example_dir_name = entry.file_name().into_string().unwrap(); let example_dir_name = entry.file_name().into_string().unwrap();
// TODO: Improve this with a more-dynamic approach. (Read all subdirectories?) // TODO: Improve this with a more-dynamic approach. (Read all subdirectories?)
// Some platform-switching examples live in nested directories
if example_dir_name == "platform-switching" { if example_dir_name == "platform-switching" {
for sub_dir in [ for sub_dir in [
// We exclude the C platforming switching example // We exclude the C platforming switching example