diff options
Diffstat (limited to 'bin/reverse_clean')
-rwxr-xr-x | bin/reverse_clean | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/bin/reverse_clean b/bin/reverse_clean deleted file mode 100755 index 29f205a5bbe..00000000000 --- a/bin/reverse_clean +++ /dev/null @@ -1,22 +0,0 @@ -eval '(exit $?0)' && eval 'exec perl -S $0 ${1+"$@"}' - & eval 'exec perl -S $0 $argv:q' - if 0; -# -*- perl -*- -# $Id$ -# -# This script does a realclean of the list in the reverse order that -# is passed to this. This is just a utility script - -@ARGS = (); - -if ($ARGV[0] eq ''){ - print STDERR "$0: No directories provided\n"; - die "provide list of directories"; -} - -@BUILD_LIST = @ARGV; - - -foreach $i (reverse (@BUILD_LIST)) { - system ("make -k -C $i realclean"); -} |