| 344 | |
| 345 | |
| 346 | def find_rtl_ext(): |
| 347 | # Find the rtl_extension |
| 348 | global rtl_ext |
| 349 | |
| 350 | for root, directories, filenames in os.walk('.'): |
| 351 | for f in filenames: |
| 352 | if (f.endswith(rtl_ext_end)): |
| 353 | rtl_ext = f[f[:-len(rtl_ext_end)].rindex("."):] |
| 354 | print("rtl_ext = " + rtl_ext) |
| 355 | return |
| 356 | |
| 357 | print("Could not find any files ending with '.dfinish'. Check that the script is being run from the correct " |
| 358 | "directory. Check that the code was compiled with the correct flags") |
| 359 | exit(-1) |
| 360 | |
| 361 | |
| 362 | def find_files(): |