diff options
| author | Frans Kaashoek <[email protected]> | 2010-08-30 17:14:56 -0400 |
|---|---|---|
| committer | Frans Kaashoek <[email protected]> | 2010-08-30 17:14:56 -0400 |
| commit | 156b307e28c52597fddea68baa5ca1f052520657 (patch) | |
| tree | 24d9342ebbe1dc7bd5c072e0c85e3423e41b4188 | |
| parent | d55b2fac074ac23e30c337014f40ae2156b31b60 (diff) | |
| parent | fe4623b99c012dc9c9730f59ad701ed279bfd68a (diff) | |
| download | xv6-labs-156b307e28c52597fddea68baa5ca1f052520657.tar.gz xv6-labs-156b307e28c52597fddea68baa5ca1f052520657.tar.bz2 xv6-labs-156b307e28c52597fddea68baa5ca1f052520657.zip | |
Merge branch 'master' of git+ssh://amsterdam.csail.mit.edu/home/am0/6.828/xv6 into page
| -rw-r--r-- | Makefile | 10 |
1 files changed, 7 insertions, 3 deletions
@@ -142,6 +142,10 @@ bochs : fs.img xv6.img # try to generate a unique GDB port GDBPORT = $(shell expr `id -u` % 5000 + 25000) +# QEMU's gdb stub command line changed in 0.11 +QEMUGDB = $(shell if qemu -help | grep -q '^-gdb'; \ + then echo "-gdb tcp::$(GDBPORT)"; \ + else echo "-s -p $(GDBPORT)"; fi) QEMUOPTS = -smp 2 -hdb fs.img xv6.img qemu: fs.img xv6.img @@ -155,11 +159,11 @@ qemu-nox: fs.img xv6.img qemu-gdb: fs.img xv6.img .gdbinit @echo "*** Now run 'gdb'." 1>&2 - qemu -serial mon:stdio $(QEMUOPTS) -s -S -p $(GDBPORT) + qemu -serial mon:stdio $(QEMUOPTS) -S $(QEMUGDB) -qemu-gdb-nox: fs.img xv6.img .gdbinit +qemu-nox-gdb: fs.img xv6.img .gdbinit @echo "*** Now run 'gdb'." 1>&2 - qemu -nographic $(QEMUOPTS) -s -S -p $(GDBPORT) + qemu -nographic $(QEMUOPTS) -S $(QEMUGDB) # CUT HERE # prepare dist for students |