-
Notifications
You must be signed in to change notification settings - Fork 33
Description
If a directory with a kernel source is (directly or indirectly) used more than once specified using the -d command line option, get_kernel_filepath reports that More than one match for kernel, because the same kernel file is matched twice (based on different search paths). Example command line option:
psyclone -d $lfric_source/kernel -d $lfric_source
Imho, if there is only one file (found several times), this should be accepted, and this is a rather trivial change.
FWIW, the double -d option happens with Fab when using kernel extraction (adding both options is neater design compared with providing either of the two as required). Alternative, we could sort out #2793 (i.e. adding more command line options that add paths to the module manager, but not kernel search path, then I could use the other option for one of the paths).