# Description file for the Make command
FILES = makefile ident.c defs main.c doname.c misc.c files.c dosys.c\
OBJECTS = ident.o main.o doname.o misc.o files.o dosys.o gram.o
GCOSFILES = defs ident.c main.c doname.c misc.c gram.c gcos.c
$(CC) -n -s $(CFLAGS) $(OBJECTS) $(LIBES) -o make
printall: # Print files off line.
print: $(FILES) # print recently changed files
save: # Write files on Spider store.
./make -dp | grep -v TIME >1zap
/bin/make -dp | grep -v TIME >2zap
lint : dosys.c doname.c files.c main.c misc.c ident.c gram.c
$(LINT) dosys.c doname.c files.c main.c misc.c ident.c gram.c
cp $(FILES) /usr/src/cmd/make