1 files changed, 0 insertions, 11 deletions
diff --git a/extern/ode/dist/tools/process_deps b/extern/ode/dist/tools/process_deps
deleted file mode 100755
index 9b95ddac382..00000000000
--- a/extern/ode/dist/tools/process_deps
+++ /dev/null
@@ -1,11 +0,0 @@
-#!/usr/bin/perl
-
-$a = join ('',<STDIN>);
-$a =~ s/\\\n/ /g;		# join continued lines
-$a =~ s/(^\S+:)/$ARGV[0]$1/gm;	# put prefix in front of rules
-$a =~ s/\s+\/\S+/ /g;		# remove absolute path dependencies
-$a =~ s/\s+\n/\n/g;		# remove whitespace at end of lines
-$a =~ s/[ \t]+/ /g;		# clean up interior whitespace
-$a =~ s/ / \\\n  /g;		# put back line continuations
-
-print $a;