make clean:<option> to deal with multiple versions not stepping on each other
authorThomas Walker Lynch <xtujpz@reasoningtechnology.com>
Sat, 3 Aug 2024 11:18:44 +0000 (11:18 +0000)
committerThomas Walker Lynch <xtujpz@reasoningtechnology.com>
Sat, 3 Aug 2024 11:18:44 +0000 (11:18 +0000)
commitf095d88b45bd8ab5a8e880fbbd9787990671d260
tree843c447a75a67eda01deceb6db0011ef769597e5
parente129d68ef54d90a97b56435e45ba04420e2a42ed
make clean:<option> to deal with multiple versions not stepping on each other
developer/executor/make [new file with mode: 0755]
developer/javac/PrintRuleNameList.java
developer/makefile
executor/env_dev