Skip to content
Snippets Groups Projects
Commit 2a4d4400 authored by Erik Schnetter's avatar Erik Schnetter
Browse files

Add quotes around file name

$input_log will expand to file names with special characters (e.g. "@"), thus bash requires quotes.
parent 30e8e77f
Branches
Tags
No related merge requests found
...@@ -324,8 +324,8 @@ fi ...@@ -324,8 +324,8 @@ fi
if [[ $SPACK_DEBUG == TRUE ]]; then if [[ $SPACK_DEBUG == TRUE ]]; then
input_log="$SPACK_DEBUG_LOG_DIR/spack-cc-$SPACK_SHORT_SPEC.in.log" input_log="$SPACK_DEBUG_LOG_DIR/spack-cc-$SPACK_SHORT_SPEC.in.log"
output_log="$SPACK_DEBUG_LOG_DIR/spack-cc-$SPACK_SHORT_SPEC.out.log" output_log="$SPACK_DEBUG_LOG_DIR/spack-cc-$SPACK_SHORT_SPEC.out.log"
echo "[$mode] $command $input_command" >> $input_log echo "[$mode] $command $input_command" >> "$input_log"
echo "[$mode] ${full_command[@]}" >> $output_log echo "[$mode] ${full_command[@]}" >> "$output_log"
fi fi
exec "${full_command[@]}" exec "${full_command[@]}"
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment