diff options
Diffstat (limited to 'extern/ode/dist/tools/process_deps')
-rwxr-xr-x | extern/ode/dist/tools/process_deps | 11 |
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; |