diff options
author | Alexey Neyman <stilor@att.net> | 2018-09-27 21:43:04 (GMT) |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-09-27 21:43:04 (GMT) |
commit | 5f18c3ed4e3af50f18985def9d7d1f640fd9577f (patch) | |
tree | a3cbbcb1be68012b2ae97147446c8d58178fdb28 /scripts/build/debug | |
parent | f7c2952419bd8aae95169ea1e95f6e327b28d62b (diff) | |
parent | 2acab2f06197ab34243fc415020ead54d4a9e505 (diff) |
Merge pull request #1036 from stilor/small-fixes
Small fixes
Diffstat (limited to 'scripts/build/debug')
-rw-r--r-- | scripts/build/debug/300-gdb.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/build/debug/300-gdb.sh b/scripts/build/debug/300-gdb.sh index fe6ce79..c73e430 100644 --- a/scripts/build/debug/300-gdb.sh +++ b/scripts/build/debug/300-gdb.sh @@ -315,7 +315,7 @@ do_debug_gdb_build() { # Workaround for bad versions, where the configure # script for gdbserver is not executable... # Bah, GNU folks strike again... :-( - chmod +x "${gdb_src_dir}/gdb/gdbserver/configure" + chmod a+x "${gdb_src_dir}/gdb/gdbserver/configure" gdbserver_extra_config=("${extra_config[@]}") |