mention Lance in AUTHORS

AUTHORS

@@ -6,6 +6,8 @@ src							-*- text -*-
 * Support for PCI, USB, GRUB, partitions, UHCI, and other features
   contributed by Anthony Romano <chz@vt.edu>.
 
+* Support for SMP contributed by Lance Chao.
+
 * The original structure and form of this operating system is inspired
   by the Nachos system from the University of California, Berkeley.  A
   few of the source files are more-or-less literal translations of the

src/utils/pintos-gdb

 #! /bin/sh
 
 # Path to GDB macros file.  Customize for your site.
-GDBMACROS=/usr/class/cs140/pintos/pintos/src/misc/gdb-macros
+GDBMACROS=/home/web/courses/cs4284/pintostools/pintos-2017/src/misc/gdb-macros
 
 # Choose correct GDB.
 if command -v i386-elf-gdb >/dev/null 2>&1; then