diff options
-rw-r--r-- | BitKeeper/etc/logging_ok | 1 | ||||
-rw-r--r-- | xen-2.4.16/Makefile | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/BitKeeper/etc/logging_ok b/BitKeeper/etc/logging_ok index bf45a4d7d0..9164d8ac24 100644 --- a/BitKeeper/etc/logging_ok +++ b/BitKeeper/etc/logging_ok @@ -1,5 +1,6 @@ akw27@boulderdash.cl.cam.ac.uk akw27@labyrinth.cl.cam.ac.uk +iap10@labyrinth.cl.cam.ac.uk kaf24@labyrinth.cl.cam.ac.uk kaf24@plym.cl.cam.ac.uk kaf24@striker.cl.cam.ac.uk diff --git a/xen-2.4.16/Makefile b/xen-2.4.16/Makefile index 846c0e6f12..d057dcf7e0 100644 --- a/xen-2.4.16/Makefile +++ b/xen-2.4.16/Makefile @@ -24,6 +24,7 @@ $(TARGET): make-links $(MAKE) -C net $(MAKE) -C drivers $(MAKE) -C arch/$(ARCH) + gzip -f -9 < $(TARGET) > $(TARGET).gz make-links: ln -sf xeno include/linux |