@ -272,7 +272,7 @@ clean:
mkfs/mkfs .gdbinit \
$U/usys.S \
$(UPROGS) \
lab.zip \
*.zip \
ph barrier
# try to generate a unique GDB port