|
|
1.1 ! root 1: what: ! 2: @echo "what do you want to make?" ! 3: ! 4: All: ! 5: make Std ! 6: make Set ! 7: make Xpx ! 8: ! 9: Std: ! 10: Test std ! 11: ! 12: Xpx: ! 13: Test xpx ! 14: ! 15: Set: ! 16: Test set ! 17: ! 18: Clean: ! 19: rm -f local/* ! 20: touch local/.placeholder ! 21: ! 22: Dist-setup: ! 23: make All ! 24: rm -f distr/* ! 25: mv local/* distr ! 26: touch local/.placeholder ! 27: ! 28: Dist-clean: ! 29: rm -f .BK* .CK* .emacs* ! 30: rm -f local/* ! 31: touch local/.placeholder ! 32: rm -rf `gcomp Test.gen Makefile local distr *.icn *.dat *.tlist`
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.