build: (fixes #881) fix scratch targets for file names containing dots

This commit is contained in:
Gabriel Ferreira
2023-04-08 15:19:31 -03:00
parent 6e66cc3ae9
commit 85fcf95f36
2 changed files with 4 additions and 3 deletions

View File

@@ -30,7 +30,7 @@ function(create_scratch source_files)
string(REPLACE "/" "_" scratch_dirname "${scratch_dirname}")
# Get source name
get_filename_component(scratch_name ${scratch_src} NAME_WE)
get_filename_component(scratch_name ${scratch_src} NAME_WLE)
set(target_prefix scratch_)
if(scratch_dirname)