1
0
mirror of https://github.com/gnss-sdr/gnss-sdr synced 2024-11-04 17:16:26 +00:00
This commit is contained in:
Carles Fernandez 2017-01-20 15:35:06 +01:00
commit d14ef2b05c

View File

@ -205,7 +205,7 @@ class kernel_class:
__file__ = os.path.abspath(__file__)
srcdir = os.path.dirname(os.path.dirname(__file__))
kernel_files = glob.glob(os.path.join(srcdir, "kernels", "volk_gnsssdr", "*.h"))
kernels = list(map(kernel_class, kernel_files))
kernels = set(map(kernel_class, kernel_files))
if __name__ == '__main__':
print(kernels)