An efficiency change only.

diff --git a/mach/pdp/libem/Makefile b/mach/pdp/libem/Makefile
index ad3c8a0..5399c06 100644 (file)
--- a/mach/pdp/libem/Makefile
+++ b/mach/pdp/libem/Makefile
@@ -12,7 +12,7 @@ cmp:            all
                rm -f head_em tail_em
 
 distr:
-               arch cr `head -1 LIST` `tail +2 LIST`
+               arch cr `cat LIST`
 
 all:            head_em tail_em