diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -271,7 +271,6 @@ clean: $U/initcode $U/initcode.out $U/usys.S $U/_* \ $K/kernel \ mkfs/mkfs fs.img .gdbinit __pycache__ xv6.out* \ - $(UPROGS) \ ph barrier # try to generate a unique GDB port |