7d39fff6ee
- fix plists - man pages were not installing
21 lines
656 B
Plaintext
21 lines
656 B
Plaintext
--- src/Makefile.orig Wed May 28 01:21:10 1997
|
|
+++ src/Makefile Wed May 28 01:19:40 1997
|
|
@@ -93,7 +93,7 @@
|
|
$(MAKE) O=$O CC=cc CFLAGS="$(CFLAGS)" all
|
|
|
|
bsd:
|
|
- $(MAKE) O=$O CC=$(CC) CFLAGS="$(CFLAGS) -Duint='unsigned int'" all
|
|
+ $(MAKE) O=$O CC=$(CC) CFLAGS="$(CFLAGS)" all
|
|
|
|
Wall:
|
|
@$(MAKE) clean
|
|
@@ -131,7 +131,7 @@
|
|
|
|
$O/lat_pagefault: lat_pagefault.c timing.c bench.h
|
|
if [ $O = ../bin/linux -o $O = ../bin/bsd ]; \
|
|
- then cp /bin/true $O/lat_pagefault; \
|
|
+ then cp /usr/bin/true $O/lat_pagefault; \
|
|
else $(COMPILE) -o $O/lat_pagefault lat_pagefault.c $(LDLIBS); \
|
|
fi
|
|
|