1 files changed, 11 insertions, 0 deletions
diff --git a/extern/ode/dist/tools/process_deps b/extern/ode/dist/tools/process_deps
new file mode 100755
index 00000000000..9b95ddac382
--- /dev/null
+++ b/extern/ode/dist/tools/process_deps
@@ -0,0 +1,11 @@
+#!/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;