diff --git a/QA.sh b/QA.sh index 4ba075f..a6e9cb5 100755 --- a/QA.sh +++ b/QA.sh @@ -1,5 +1,9 @@ #!/bin/bash +# This file is part of Jehanne. +# +# Copyright (C) 2016-2017 Giacomo Tesio + if [ "$JEHANNE" = "" ]; then echo ./hacking/QA.sh requires the shell started by ./hacking/devshell.sh exit 1 diff --git a/_gdb/functions b/_gdb/functions index 911ff08..e930e18 100644 --- a/_gdb/functions +++ b/_gdb/functions @@ -34,7 +34,7 @@ define jhn-log-syscalls end end -define jhn-break-errors +define jhn-log-errors b errorl commands jhn-print-with-context @@ -104,7 +104,11 @@ define jhn-break-pid end define jhn-connect - target remote :1234 + if $argc == 1 + target remote $arg0 + else + target remote :1234 + end printf "connected to QEMU\n" if $pc == waitdebugger+22 set var c = 1 diff --git a/buildtools.sh b/buildtools.sh index ccd5c83..135f026 100755 --- a/buildtools.sh +++ b/buildtools.sh @@ -1,5 +1,9 @@ #!/bin/bash +# This file is part of Jehanne. +# +# Copyright (C) 2016-2017 Giacomo Tesio + BUILD_GO_TOOLS=true BUILD_DRAWTERM=true diff --git a/continuous-build.sh b/continuous-build.sh index 1b7af40..979b028 100755 --- a/continuous-build.sh +++ b/continuous-build.sh @@ -1,4 +1,9 @@ #!/bin/bash + +# This file is part of Jehanne. +# +# Copyright (C) 2016-2017 Giacomo Tesio + set -e if [ "${COVERITY_SCAN_BRANCH}" != 1 ]; then diff --git a/coverity-scan.sh b/coverity-scan.sh index 194745f..2b1b9c3 100755 --- a/coverity-scan.sh +++ b/coverity-scan.sh @@ -1,4 +1,9 @@ #!/bin/bash + +# This file is part of Jehanne. +# +# Copyright (C) 2016-2017 Giacomo Tesio + set -e cd `dirname $0` diff --git a/devshell.sh b/devshell.sh index f46d5a8..4a64154 100755 --- a/devshell.sh +++ b/devshell.sh @@ -1,4 +1,9 @@ #!/bin/bash + +# This file is part of Jehanne. +# +# Copyright (C) 2016-2017 Giacomo Tesio + export JEHANNE=`git rev-parse --show-toplevel` export PATH="$JEHANNE/hacking/bin:$PATH" export PATH="$JEHANNE/hacking/cross/toolchain/bin:$PATH" diff --git a/disk-boot-update.sh b/disk-boot-update.sh index b139137..b341221 100755 --- a/disk-boot-update.sh +++ b/disk-boot-update.sh @@ -1,5 +1,10 @@ #!/bin/bash +# This file is part of Jehanne. +# +# Copyright (C) 2016-2017 Giacomo Tesio + + if [ "$JEHANNE" = "" ]; then echo $0 requires the shell started by ./hacking/devshell.sh exit 1 diff --git a/disk-create.sh b/disk-create.sh index 4dc3a6e..3d2241d 100755 --- a/disk-create.sh +++ b/disk-create.sh @@ -1,5 +1,9 @@ #!/bin/bash +# This file is part of Jehanne. +# +# Copyright (C) 2016-2017 Giacomo Tesio + if [ "$JEHANNE" = "" ]; then echo $0 requires the shell started by ./hacking/devshell.sh exit 1 diff --git a/disk-get.sh b/disk-get.sh index 5549789..4e34c09 100755 --- a/disk-get.sh +++ b/disk-get.sh @@ -1,5 +1,9 @@ #!/bin/bash +# This file is part of Jehanne. +# +# Copyright (C) 2016-2017 Giacomo Tesio + if [ "$JEHANNE" = "" ]; then echo $0 requires the shell started by ./hacking/devshell.sh exit 1 diff --git a/disk-update.sh b/disk-update.sh index 6b463c3..a962182 100755 --- a/disk-update.sh +++ b/disk-update.sh @@ -1,5 +1,10 @@ #!/bin/bash +# This file is part of Jehanne. +# +# Copyright (C) 2016-2017 Giacomo Tesio + + if [ "$JEHANNE" = "" ]; then echo $0 requires the shell started by ./hacking/devshell.sh exit 1 diff --git a/drawterm.sh b/drawterm.sh index 2806bb2..a664a70 100755 --- a/drawterm.sh +++ b/drawterm.sh @@ -1,5 +1,9 @@ #!/bin/bash +# This file is part of Jehanne. +# +# Copyright (C) 2016-2017 Giacomo Tesio + if [ "$JEHANNE" = "" ]; then echo ./hacking/drawterm.sh requires the shell started by ./hacking/devshell.sh exit 1 diff --git a/runDisk.sh b/runDisk.sh index 4db4504..22254d6 100755 --- a/runDisk.sh +++ b/runDisk.sh @@ -1,5 +1,9 @@ #!/bin/sh +# This file is part of Jehanne. +# +# Copyright (C) 2016-2017 Giacomo Tesio + export SDL_VIDEO_X11_DGAMOUSE=0 # see https://wiki.archlinux.org/index.php/QEMU#Mouse_cursor_is_jittery_or_erratic if [ "$JEHANNE" = "" ]; then diff --git a/runOver9P.sh b/runOver9P.sh index 959e7ec..1e18e8f 100755 --- a/runOver9P.sh +++ b/runOver9P.sh @@ -1,5 +1,9 @@ #!/bin/sh +# This file is part of Jehanne. +# +# Copyright (C) 2016-2017 Giacomo Tesio + export SDL_VIDEO_X11_DGAMOUSE=0 # see https://wiki.archlinux.org/index.php/QEMU#Mouse_cursor_is_jittery_or_erratic if [ "$JEHANNE" = "" ]; then