Commit 64b9462d authored by Utkarsh Ayachit's avatar Utkarsh Ayachit

BUG: temporary file name chosen was an unfortunate choice. Fixed it.

The temporary file name ended up being two paths concatanated which failed on
several platforms. Fixed that.
parent 7e375fdc
......@@ -318,6 +318,10 @@ function (generate_htmls_from_xmls output_files xmls gui_xmls output_dir)
if (NOT first_xml)
message(FATAL_ERROR "No xml specified!!!")
# extract the name from the first xml file. This is the name for temporary
# file we use.
get_filename_component(first_xml "${first_xml}" NAME)
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment