summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile1
1 files changed, 0 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index cced70f..43d63c3 100644
--- a/Makefile
+++ b/Makefile
@@ -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