orig/makeall.csh
Sat, 09 Apr 2011 17:55:16 +0100 Added original CSH script from HEAD-20110409.