Merge pull request #205 from filbranden/tool_opts

Fix dejagnu test support for --tool_opts
2016-02-20 06:38:40 -05:00
parent 20c7c31ca0 89b760503e
commit 79666abca8
1 changed files with 1 additions and 1 deletions
--- a/testsuite/lib/libffi.exp
+++ b/testsuite/lib/libffi.exp
@@ -182,7 +182,7 @@ proc libffi_target_compile { source dest type options } {
    # TOOL_OPTIONS must come first, so that it doesn't override testcase
    # specific options.
    if [info exists TOOL_OPTIONS] {
-	lappend  options [concat "additional_flags=$TOOL_OPTIONS" $options];
+	lappend  options "additional_flags=$TOOL_OPTIONS"
    }

    # search for ffi_mips.h in srcdir, too