File tree Expand file tree Collapse file tree 1 file changed +16
-0
lines changed Expand file tree Collapse file tree 1 file changed +16
-0
lines changed Original file line number Diff line number Diff line change @@ -339,14 +339,30 @@ def test_examples_in_folder(platform, folderpath):
339339 continue
340340
341341 print ('\t ' + example , end = ' ' )
342+
342343 # check if we should SKIP
343344 skipfilename = folderpath + "/." + platform + ".test.skip"
344345 onlyfilename = folderpath + "/." + platform + ".test.only"
345346 # check if we should GENERATE UF2
346347 gen_file_name = folderpath + "/." + platform + ".generate"
348+
349+ # .skip txt include all skipped platforms, one per line
350+ skip_txt = folderpath + "/.skip.txt"
351+
352+ is_skip = False
347353 if os .path .exists (skipfilename ):
354+ is_skip = True
355+ if os .path .exists (skip_txt ):
356+ with open (skip_txt ) as f :
357+ lines = f .readlines ()
358+ for line in lines :
359+ if line .strip () == platform :
360+ is_skip = True
361+ break
362+ if is_skip :
348363 ColorPrint .print_warn ("skipping" )
349364 continue
365+
350366 if glob .glob (folderpath + "/.*.test.only" ):
351367 platformname = glob .glob (folderpath + "/.*.test.only" )[0 ].split ('.' )[1 ]
352368 if platformname != "none" and not platformname in ALL_PLATFORMS :
You can’t perform that action at this time.
0 commit comments