- install make $(DESTDIR)/bin/make
-
-printall: # Print files off line.
- -pr $(FILES) | $P
- touch print
-
-print: $(FILES) # print recently changed files
- -pr $? | $P
- touch print
-
-save: # Write files on Spider store.
- -nfs -ucv make $(FILES)
-
-test: 1zap 2zap
- diff 1zap 2zap
- rm -f 1zap 2zap
-
-1zap:
- ./make -dp | grep -v TIME >1zap
-
-2zap:
- /bin/make -dp | grep -v TIME >2zap
-
-time: time1 time2 ;
-
-time1 time2 :
- time ./make $T
- time /bin/make $T