diff options
-rwxr-xr-x | config/makedepend.py | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/config/makedepend.py b/config/makedepend.py new file mode 100755 index 00000000000..aa8bdbcd7b6 --- /dev/null +++ b/config/makedepend.py @@ -0,0 +1,24 @@ +#!/usr/bin/env python +# ********************************************************************** +# +# Copyright (c) 2003-2015 ZeroC, Inc. All rights reserved. +# +# This copy of Ice is licensed to you under the terms described in the +# ICE_LICENSE file included in this distribution. +# +# ********************************************************************** + +import sys, os, fileinput + +prefix = None +if len(sys.argv) > 1: + prefix = sys.argv[1] + +lang = None +for line in fileinput.input("-"): + line = line.strip() + + if line.endswith(": \\"): + line = prefix + line + + print(line) |