3 Коммитов

Автор	SHA1	Сообщение	Дата
Open MPI Team	96a90ffab3	remove-old.pl: update / fix minor bugs ... - Ensure that $to_delete is always defined - Re-indent to 4 spaces for readability - Don't only delete files -- it's ok to delete directories, too - Print the directory from which we are deleting Signed-off-by: Jeff Squyres <jsquyres@cisco.com>	2017-01-20 19:16:43 +00:00
Ralph Castain	408199ce20	Fix a typo in the remove-old script that caused it to ignore all non-directory files, including the tarballs it was meant to delete	2016-09-16 15:48:24 -05:00
Jeff Squyres	eb270172a7	build server: moved scripts to contrib/build-server ... Removed a redundant copy of the scripts running on the build server and moved the remaining copy out to a top-level directory in contrib (i.e., contrib/build-server vs. contrib/dist/build-server, where I never could remember where to find them).	2014-10-02 11:32:54 -07:00